Attempt to fix a glitch with travisCI and apt-get.