fix modman file