Hmpf, fixed travis again