modman config file fix