proper vagrantfile