disl-agent: make debugging output more useful by forcing a flush of the output stream after every printf.