Fix REQUIRE filename