More broken TravisCI stuff