32-bit Ubuntu Precise Vagrant box