Force 32-bit on travis

This forces a 32-bit build on Travis, fixing the recent errors due to their upgrade to 64-bit worker nodes.