Need to apt-get update first (I think) on the travis box