--- BDD/mu_interface.c.orig 2013-02-21 08:19:16.000000000 -0700
+++ BDD/mu_interface.c 2013-02-22 15:15:06.063742920 -0700
@@ -40,11 +40,6 @@
#include <signal.h>
-#ifdef __linux__
-// GLIBC 2.11 includes __longjmp_chk, not defined in earlier versions
-__asm__(".symver __longjmp_chk,siglongjmp@GLIBC_2.2.5");
-#endif
-
int bdd_interrupted = 0;
sigjmp_buf bddcatch;
struct sigaction lisp_handler;