Fixing modman paths