Fix to get around travis-ci bug

https://github.com/travis-ci/travis-ci/issues/1675