Fix travis script, force a apt-get update