Vagrantfile: switch to precise64