It actually now occurs to me that we never link to the 32-bit deb that we build.  Is this intentional?