better output for vm_destroy