fix modman config