http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53005
--- Comment #2 from Lili Zhao <zhao86.scholar at gmail dot com> 2012-04-16 10:17:43 UTC --- Do you mean we should use a later GCC version? (In reply to comment #1) > GCC 4.2 is not supported, please try a current release.