On 10/20/2015 01:57 PM, Magnus Ihse Bursie wrote: > What does x86_64-linux-gnux32 imply? Some sort of mix between 32 and 64-bit? I think that's a 32-bit ABI running on a 64-bit processor. https://en.wikipedia.org/wiki/X32_ABI If so, I'm surprised it works at all. Andrew.