Update set_dhcp_for_debian_guest.txt