Patch for Vagrant v1.5.3