More fixes on modman file