--- /home/krishna/local/genode.svn.git/os/src/lib/ldso/symbol.map	2011-08-16 22:02:34.000000000 +0200
+++ os/src/lib/ldso/symbol.map	2011-08-26 08:18:00.000000000 +0200
@@ -46,6 +46,9 @@
 		 * Exceptions symbols
 		 */
 
+		/* GNU verbose terminate handler */
+		extern "C++" { __gnu_cxx::__verbose_terminate_handler*; };
+
 		/* x86 */
 		__cxa*;
 		_Unwind_Resume;