> Out of curiosity, did you also try building with > --enable-libstdcxx-time=rt (the most complete option)? No, I did not. Sorry about this, and thanks for cleaning up my mess. -benjamin