How to use virtualbox to export a operating system