Yeah. __GLIBCPP__ is updated erratically. Perhaps what should happen is that it gets changed on the release day, and then the day after the release it gets bumped. Does this sound sane? _GLIBCPP_VERSION should definitely be fixed. thanks, benjamin