prefix defpaths for defs in main packages with the filename to avoid issues with multiple distinct main packages in the same dir