update Vagrantfile to precise64