Prefere ipv4, to speed up debian updates