Installing virtualbox 4.2.