307c307
< std::ostream* taskFile = sys->taskFile;
---
> OutputStream* taskFile = sys->taskFile;
311c311
< ccprintf(*taskFile,
---
> ccprintf(*(taskFile->stream()),
315c315
< taskFile->flush();
---
> taskFile->stream()->flush();