diff -up mm3d-1.3.11/src/3dm.cc.sigh mm3d-1.3.11/src/3dm.cc
--- mm3d-1.3.11/src/3dm.cc.sigh 2019-01-03 03:50:10.000000000 +0100
+++ mm3d-1.3.11/src/3dm.cc 2019-01-03 13:33:17.332371800 +0100
@@ -43,6 +43,7 @@
#include "transimp.h"
+#if 0
#include <signal.h>
void segfault_handler( int sig )
@@ -50,6 +51,7 @@ void segfault_handler( int sig )
fprintf( stderr, "Segfault. Exiting...\n" );
exit( 0 );
}
+#endif
int free_memory()
{
@@ -74,7 +76,9 @@ int main( int argc, char * argv[] )
log_profile_init( "profile_data.txt" );
+#if 0
signal( SIGSEGV, segfault_handler );
+#endif
init_sysconf();
transimp_install_translator();