pushing vagrantfile