fixing travis stuff