improve speed of amalgamation; flush only at the end

tools/amalgamate.py

@@ -68,9 +68,6 @@ for fname in args.inputs:
             guard_res = guard_re.match(line)
             if not inc_res and not guard_res:
                 file.write(line)
-                # Ensure file is written to disk.
-                file.flush()
-                os.fsync(file.fileno())
         print ("done."),
 
 if not is_c: