diff --git a/install-dev23a.sh b/install-dev23a.sh
index 368bbe81ce54d878f252aad8f3d5b4eff654dbae..7fc488a0fb93adb4af84dad3a399bf60c32e5bd5 100755
--- a/install-dev23a.sh
+++ b/install-dev23a.sh
@@ -1,5 +1,7 @@
 #!/bin/bash
 set -e
+mkdir -p linux-debian11
+cd linux-debian11
 mkdir -p dev-23a
 cd dev-23a
 # clone repo if it doesn't exist yet