travis: make sure to run "apt-get update".