Force apt-get to use ipv4 since travis-ci cannot do ipv6 yet