this shell script to use Vagrantfile