Try to speed up install step on Travis CI