Changed travis settings, for the umpteenth time :(