Perhaps we do need `apt-get update` on Travis.