Start from linux-debian11 as path

install-dev23a.sh

 #!/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