changing Vagrantfile to use trusty32 for 32-bit machines