diff --git a/tools/kaleidoscope-builder b/tools/kaleidoscope-builder
index 996de697..35350b0d 100755
--- a/tools/kaleidoscope-builder
+++ b/tools/kaleidoscope-builder
@@ -261,7 +261,7 @@ if [ -e "${SOURCEDIR}/.kaleidoscope-builder.conf" ]; then
 fi
 
 
-. ${ROOT}/tools/settings.sh
+. ${ROOT}/tools/kaleidoscope-builder.conf
 
 
 cmds=""
diff --git a/tools/settings.sh b/tools/kaleidoscope-builder.conf
similarity index 100%
rename from tools/settings.sh
rename to tools/kaleidoscope-builder.conf