Travis CI: attempt to fix apt-get