fix dhcp.c for --disable-developper