diff --git a/misc/tools/install b/misc/tools/install.sh
similarity index 100%
rename from misc/tools/install
rename to misc/tools/install.sh