fix *.check files and flushing
withStream() added