fix name of vagrant box to be consistent