http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56734
--- Comment #4 from Marc Girod <marc.girod at gmail dot com> 2013-03-27 07:00:33 UTC --- Sorry: the other compiler works once I set LD_LIBRARY_PATH to use its libstdc++.so.6 and libgcc_s.so.1
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56734
--- Comment #4 from Marc Girod <marc.girod at gmail dot com> 2013-03-27 07:00:33 UTC --- Sorry: the other compiler works once I set LD_LIBRARY_PATH to use its libstdc++.so.6 and libgcc_s.so.1