Bootstrap Vagrantfile with box specified