Fix travis build

The build still fails because of https://github.com/travis-ci/travis-worker/issues/56 unfortunately.