fix dhcp.c for --disable-developper

as per title