fix busted random generation in travis manifest