Add workaround for Travis builds failing — see https://github.com/travis-ci/travis-ci/issues/2836