fix erroneous default dhcp_build configuration