(Hopefully) fix some travis-ci apt-get updating errors