diff -r 32f499cbe874 -r 5c5b4464b24f mkdtemp.h
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/mkdtemp.h	Fri Mar 05 20:16:46 2010 +0000
@@ -0,0 +1,18 @@
+#ifndef MKDTEMP_H
+#define MKDTEMP_H
+
+extern char *mkdtemp(char *_template);
+
+#ifndef WIN32
+#include <sys/time.h>
+#else
+#include <time.h>
+#include <direct.h>
+typedef int pid_t;
+#endif
+
+extern "C" {
+pid_t getpid (void);
+}
+
+#endif
\ No newline at end of file