Make simple-build-and-install 32-bit compatible (hopefully).