Update Vagrantfile to use precise32 over precise64