diff --git a/Tools/scripts/dumpstack b/Tools/scripts/dumpstack.sh
similarity index 100%
rename from Tools/scripts/dumpstack
rename to Tools/scripts/dumpstack.sh
diff --git a/Tools/scripts/run-coverage b/Tools/scripts/run-coverage.sh
similarity index 100%
rename from Tools/scripts/run-coverage
rename to Tools/scripts/run-coverage.sh