Updates for version 0.4.2

New feature: Ability to edit disk images.
Several small bug fixes and feature enhancements (see CHANGELOG).
diff --git a/support.h b/support.h
index 60fcb8c..d6e4f92 100644
--- a/support.h
+++ b/support.h
@@ -18,7 +18,7 @@
 #include <linux/fs.h>
 #endif
 
-#include <string>
+#include <string.h>
 
 #ifndef __GPTSUPPORT
 #define __GPTSUPPORT
@@ -62,6 +62,7 @@
 void ReverseBytes(void* theValue, int numBytes); // Reverses byte-order of theValue
 uint64_t PowerOf2(int value);
 int OpenForWrite(char* deviceFilename);
+void DiskSync(int fd); // resync disk caches to use new partitions
 
 uint64_t disksize(int fd, int* err);