Fix issue with Travis builds

See also:

https://github.com/travis-ci/travis-ci/issues/2219