Exporting a virtual machine