Travis CI: improve the trick to avoid cache update