Install VirtualBox 4.2.4 in Ubuntu 12.04 or 12.10