Default to precise64 in the vagrantfile.