Fix version of box used in Vagrantfile