diff --git a/Makefile b/Makefile
index 412be61fe..30d276b81 100644
--- a/Makefile
+++ b/Makefile
@@ -81,6 +81,7 @@ clean-libs:
 
 clean: clean-libs support-clean
 	-${IDRIS2_BOOT} --clean ${IDRIS2_IPKG}
+	$(RM) src/IdrisPaths.idr
 	${MAKE} -C tests clean
 	$(RM) -r build
 
diff --git a/bootstrap.sh b/bootstrap.sh
old mode 100755
new mode 100644