diff --git a/bootstrap/idris2-boot_app/idris2sh.ss b/bootstrap/idris2sh_app/idris2sh.ss
similarity index 100%
rename from bootstrap/idris2-boot_app/idris2sh.ss
rename to bootstrap/idris2sh_app/idris2sh.ss
diff --git a/init-bootstrap b/init-bootstrap
index bb78a765a..560a8ab15 100755
--- a/init-bootstrap
+++ b/init-bootstrap
@@ -5,7 +5,7 @@ cp support/c/$IDRIS2_SUPPORT bootstrap/idris2-boot_app
 
 cd bootstrap
 
-sed s/libidris2_support.so/$IDRIS2_SUPPORT/g idris2-boot_app/idris2sh.ss > idris2-boot_app/idris2-boot.ss
+sed s/libidris2_support.so/$IDRIS2_SUPPORT/g idris2sh_app/idris2sh.ss > idris2sh_app/idris2-boot.ss
 ${SCHEME} --script compile.ss
 
 mkdir -p ../build/exec