gcc-4.1: correctly generate libstdc++ gthr.h headers