Using Vagrantfile for box definition