vagrantfile: use a correct virtualbox box