Do we need to maintain a 32-bit build for Linux? I've noticed a lot of distros seems to have dropped 32-bit support some time ago. I don't have an opinion one way or another, and if we truly need it we need it. But if we don't need it's nice to let unneeded parts of the build system go away. -- Richard Gaskin Fourth World Systems