Customized Vagrantfile