fix use_integer_ipv4 bug