Fix Travis CI caching