File extension can be deleted from the module name and @sourceURL