Tweaking the modman file