vagrant: go back to using DHCP