--- /dev/null
+Index: drv_tapi-3.13.0/src/drv_tapi_linux.c
+===================================================================
+--- drv_tapi-3.13.0.orig/src/drv_tapi_linux.c 2013-09-05 22:28:16.868419283 +0200
++++ drv_tapi-3.13.0/src/drv_tapi_linux.c 2013-09-05 22:32:37.396425814 +0200
+@@ -93,6 +93,8 @@
+ #include "drv_tapi_announcements.h"
+ #endif /* TAPI_ANNOUNCEMENTS */
+
++#undef CONFIG_PROC_FS
++
+ #define TAPI_IOCTL_STACKSIZE 4000 /* allow some overhead 4 k */
+
+ /* ================================== */