Workaround for travis issue #2185 (https://github.com/travis-ci/travis-ci/issues/2185)