http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51129
Toshiro K. Ohsumi <ohsumit at molbio dot mgh.harvard.edu> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|WAITING |RESOLVED Resolution| |FIXED --- Comment #4 from Toshiro K. Ohsumi <ohsumit at molbio dot mgh.harvard.edu> 2011-11-14 22:21:29 UTC --- Hello. Thanks to Jonathan Wakely's last comment, I tracked down the problem. Even though the libraries are indeed 64-bit, for some reason, they were not added to ld.so.cache when they were installed [as root]. This has been rectified manually by calling ldconfig -v. Thanks again!