diff -ur mozart-1.3.2.20060615.orig/contrib/ri/Makefile.in mozart-1.3.2.20060615/contrib/ri/Makefile.in
--- mozart-1.3.2.20060615.orig/contrib/ri/Makefile.in	2002-07-07 01:05:36.000000000 +1200
+++ mozart-1.3.2.20060615/contrib/ri/Makefile.in	2007-09-29 17:41:45.000000000 +1200
@@ -60,8 +60,8 @@
 		modRI.spec
 
 ifeq ($(PLATFORM), linux-i486)
-CSRCS    	= fpgetset.c sigfpe.c
-CFLAGS   	+= -DLINUX_IEEE
+CSRCS    	= 
+CFLAGS   	+=
 endif
 
 OZSRCS  	= RI.oz
diff -ur mozart-1.3.2.20060615.orig/contrib/ri/sigfpe.h mozart-1.3.2.20060615/contrib/ri/sigfpe.h
--- mozart-1.3.2.20060615.orig/contrib/ri/sigfpe.h	2006-03-21 20:36:08.000000000 +1200
+++ mozart-1.3.2.20060615/contrib/ri/sigfpe.h	2007-09-29 17:33:04.000000000 +1200
@@ -6,7 +6,6 @@
 #include <fpu_control.h>
 #include <signal.h>
 #include <unistd.h>
-#include <linux/user.h> /* for user_i387_struct */
 
 #ifdef __cplusplus
 extern "C" {
@@ -19,7 +18,7 @@
 };
 typedef struct siginfo siginfo_t;
   */
-typedef struct user_i387_struct ucontext_mozart_t;
+typedef void ucontext_mozart_t;
 typedef int sigfpe_code_type;
 typedef void (*sigfpe_handler_type)(int, siginfo_t * , ucontext_mozart_t *);