Makes dhcp_domain available to everyone