mainFiles for modules that have it undefined