--- dist/configure
+++ dist/configure
@@ -15,9 +15,9 @@ fi
 my_mktemp () {
   local name=$1
   local ext=$2
-  local f=$(mktemp --suffix=$ext /tmp/$name.XXXXXXX)
+  local f=$(gmktemp --suffix=$ext /tmp/$name.XXXXXXX)
   if [[ $f == "" ]]; then
-    local f=$(mktemp -p . --suffix=$ext $name.XXXXXXX)
+    local f=$(gmktemp -p . --suffix=$ext $name.XXXXXXX)
   fi
   echo $f
 }