I can verify that following squigley’s instructions fixed the verification/compilation issues. I made the changes and pushed up to guithub so the next time someone comes across this issue, it should be easier to get started. See:
https://github.com/jpatapoff/EthernetDHCP
https://github.com/jpatapoff/EthernetDNS