update name of vagrant boxes

they had not been updated since the box names changed.