OTHER: Make apt-get less quiet so travis doesn't kill it.