Update Vagrantfile (add precise32)