Supporting 32/64-bit on linux