Box file addded to Vagrantfile, so hopefully not needed