Fixing Vagrantfile network settings to work on corporate network