I don't understand what the issue is with synchronizing
libg++ streams with stdout, since they are supposedly the
same thing under Gnu C++. Despite this, the code to the
nsgmls parser has this in it:
#ifdef __GNUG__
// cout is a performance disaster in libg++ unless we do this.
ios::sync_with_stdio(0);
#endif