Fix Travis CI

As per https://github.com/travis-ci/travis-ci/issues/2220 and https://twitter.com/travisci/status/461447293976055808 /cc @justinplouffe.