Put this back

The problem is Travis CI itself is screwed up.