Update IE_VMs.md