diff --git a/ci/make-tmp.sh b/ci/make-tmp.sh
index 6ea9929b6..8d096444e 100755
--- a/ci/make-tmp.sh
+++ b/ci/make-tmp.sh
@@ -1,4 +1,5 @@
 #!/bin/sh
 set -e
 cd "$(dirname "${BASH_SOURCE[0]}")/.."
-[ -d tmp ] || ln -s "$(mktemp -d -t ariane.XXXXXXXX)" tmp
+# [ -d tmp ] || ln -s "$(mktemp -d -t ariane.XXXXXXXX)" tmp
+[ -d tmp ] || mkdir -p tmp