I'm planning to install Ubuntu in a VirtualBox virtual machine. The host operating system is OS X 10.9 Mavericks running on a Mid-2012 MacBook Pro.
The download page instructs me to choose between the flavours "64-bit" and "64-bit Mac (AMD64)".
What is the difference between these two versions?
Which of these versions is appropriate for my planned installation?