Since there was no response to the comment here, I've opened a new bug: https://bugs.launchpad.net/ubuntu/+source/ia32-libs/+bug/783155
-- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/641056 Title: Loader chooses 64-bit instead of 32-bit library -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs