modify Vagrant shell script