Attempt to fix 32-bit linux with some versions of gcc