Hi, I updated x32 psABI draft to version 0.2 to change x32 library path from lib32 to libx32 since lib32 is used for ia32 libraries on Debian, Ubuntu and other derivative distributions. The new x32 psABI is available from: https://sites.google.com/site/x32abi/home -- H.J.