Make generateSingleHeader.py Python 2.7 compatible
diff --git a/scripts/generateSingleHeader.py b/scripts/generateSingleHeader.py
index bef63b0..bb267ff 100755
--- a/scripts/generateSingleHeader.py
+++ b/scripts/generateSingleHeader.py
@@ -36,8 +36,11 @@
         print( "\n** Unrecognised argument: " + arg + " **\n" )
         exit(1)
 
-# ensure that the output directory exists
-os.makedirs(os.path.dirname(outputPath), exist_ok = True)
+
+# ensure that the output directory exists (hopefully no races)
+outDir = os.path.dirname(outputPath)
+if not os.path.exists(outDir):
+    os.makedirs(outDir)
 out = open( outputPath, 'w' )
 ifdefs = 0
 implIfDefs = -1