dhcp_clientv4.ml : remove some unnecessary changes