Make sure we flush writes before unlocking the file for read by others

src/common/utils.c

@@ -464,6 +464,7 @@ int _starpu_fwrlock(FILE *file)
 
 int _starpu_fwrunlock(FILE *file)
 {
+	fflush(file);
 	return _starpu_frdunlock(file);
 }