change Vagrant settings to Vagrant 1.3.1 update