OTHER: Bump Ubuntu repo again for Travis.