Improved flush_write_file().