std::bad_typeid(3cxx) on Linux

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

Thrown when a NULL pointer in a typeid expression is used.

std::bad_typeid(3cxx) on Linux now