Fix broken travis build

The [modman script] was missing.