http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54847
--- Comment #19 from Rob Lu <roblu2184 at gmail dot com> 2012-10-07 23:19:01 UTC --- Created attachment 28383 --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=28383 libstdc++-configure-timespec Here's a version that changes configure in case you don't want to rerun autoconf.