--- gyvekernel/main.m.orig	Wed Apr 22 19:29:26 1998
+++ gyvekernel/main.m	Wed Apr 22 19:29:55 1998
@@ -52,6 +52,7 @@
 
 #include <gtkDPS/gtkDPS.h>
 #include <ScriptKit/ScriptKit.h>
+#include <sys/signal.h>
 void gyve_about();
 
 static void gyve_main ();
@@ -59,6 +60,8 @@
 int
 main (int argc, char ** argv)
 {
+  signal(SIGFPE, SIG_IGN);
+
   gh_enter(argc, argv, gyve_main);
   return 0;
 }	
