fix up the travis stuff