Commented out the code to patch the VagrantFile: