libstdc++47: Fix c++config.h race