block 667023 by 672934 thanks x32 support has been merged into the 2.15 version of glibc. Since carrying x32 patches ourselves seems like a useless waste of time, I mark the x32 bug as being blocked by the new upstream version. Helmut