Re-add custom changes on isc-dhcp42-server accidentally removed on b4db21e5 and unbreak php53-pfSense-module build