diff --git a/vm/Config.windows.ce.arm b/vm/Config.windows.ce.arm
old mode 100644
new mode 100755
index 1026968674..98e08e8f61
--- a/vm/Config.windows.ce.arm
+++ b/vm/Config.windows.ce.arm
@@ -1,5 +1,4 @@
 CC = arm-wince-mingw32ce-gcc
 DLL_SUFFIX=-ce
 EXE_SUFFIX=-ce
-PLAF_DLL_OBJS += vm/os-windows-ce-arm.o
 include vm/Config.windows.ce vm/Config.arm
diff --git a/vm/os-windows-ce.c b/vm/os-windows-ce.c
index 7113cd4498..e6ef8b1108 100755
--- a/vm/os-windows-ce.c
+++ b/vm/os-windows-ce.c
@@ -37,7 +37,7 @@ char *getenv(char *name)
 	return 0; /* unreachable */
 }
 
-long exception_handler(PEXCEPTION_RECORD rec, void *frame, void *ctx, void *dispatch)
+void c_to_factor_toplevel(CELL quot)
 {
-	return 0;
+	c_to_factor(quot);
 }