__ILP32__ is 32 bits ABI and does not imply x86, this patch resolves this.
Attach a file by drag & drop or click to upload