diff --git a/tools/configure-fenrir b/tools/configure_fenrir.py
similarity index 100%
rename from tools/configure-fenrir
rename to tools/configure_fenrir.py