Add debian-7.5.0-amd64-vmware.box