changes to the dhcp.py file for extra dhcp opts