I think I have the right 32-bit C++ libraries now.