Index: lib/profile/GCDAProfiling.c
===================================================================
--- lib/profile/GCDAProfiling.c
+++ lib/profile/GCDAProfiling.c
@@ -465,6 +465,7 @@
       unmap_file();
     }
 
+    fflush(output_file);
     flock(fd, LOCK_UN);
     fclose(output_file);
     output_file = NULL;