32 bit version Vagrantfile and provision script