diff --git a/tools/profile_requires b/tools/profile similarity index 100% rename from tools/profile_requires rename to tools/profile