diff --git a/config-4018.config b/config-4018
similarity index 100%
rename from config-4018.config
rename to config-4018
diff --git a/config-4019.config b/config-4019
similarity index 100%
rename from config-4019.config
rename to config-4019