diff --git a/ql/hotspots/scripts/patch_codeql.py b/ql/hotspots/scripts/patch-codeql.py
similarity index 100%
rename from ql/hotspots/scripts/patch_codeql.py
rename to ql/hotspots/scripts/patch-codeql.py