refactor Vagrantfile