2020-07-15 linux prefer ipv4 other than ipv6