Ensure apt-get update is run by Travis-ci