Dear x32-ABI users. I need to locally install some programs (that supply configure scripts) for the x32 ABI. I use the following directories: --bindir=/usr/local/x86_64-linux-gnux32/bin --libdir=/usr/local/x86_64-linux-gnux32/lib Are these the recommended ones? Greetings Sven