Introduce different names for docker and vms for the sake of clarity