--- frontend/linux/workbench/mysql-workbench.in.orig	2009-06-22 15:59:57.000000000 +0300
+++ frontend/linux/workbench/mysql-workbench.in	2009-06-22 16:00:29.000000000 +0300
@@ -16,8 +16,4 @@
 
 export DBC_DRIVER_PATH="$basedirname/$libdir/mysql-workbench"
 
-if type -p catchsegv > /dev/null; then
-catchsegv $bindirname/mysql-workbench-bin $*
-else
 $bindirname/mysql-workbench-bin $*
-fi