Changes in the build system to facilitate automatic Gentoo 32-bit builds