Use virtualbox precise64