Choose the 64-bit version of Ubuntu 12.0.4.
Updating and merging from upstream.