Starting to add 32-bit linux support