__gnu_cxx::hash_set(3cxx) on Linux

The text 1fd5c2f7ce11, as Debian 6.0 (Squeeze) shipped it.

__gnu_cxx::hash_set(3cxx) on Linux now