0.7.2 release, includes new Linux type code & true GUID generation in
Windows
diff --git a/diskio-unix.cc b/diskio-unix.cc
index 327a498..03fc3c8 100644
--- a/diskio-unix.cc
+++ b/diskio-unix.cc
@@ -230,7 +230,8 @@
       platformFound++;
 #endif
 #ifdef __linux__
-      sleep(2);
+      sleep(1); // Theoretically unnecessary, but ioctl() fails sometimes if omitted....
+      fsync(fd);
       i = ioctl(fd, BLKRRPART);
       if (i)
          cout << "Warning: The kernel is still using the old partition table.\n"