diff --git a/src/tests/bug.425.t b/src/tests/bug.425.x similarity index 100% rename from src/tests/bug.425.t rename to src/tests/bug.425.x