Added Vagrant params for 32-bit hosts