this file has a lowercase name, but was fetched using an uppercase one