Travis-CI fixes - apt-get update