Must flush output file or it won't work under Linux (SLED11)