Index: support/platform_support.h
===================================================================
--- support/platform_support.h	(revision 180255)
+++ support/platform_support.h	(working copy)
@@ -54,7 +54,7 @@
     std::string s(p);
     free( p );
 #else
-   std::string s("temp.XXXX");
+   std::string s("temp.XXXXXX");
    mktemp(&s[0]);
 #endif
    return s;