diff --git a/LGPL/chr/chr_translate_bootstrap.pl b/LGPL/chr/chr_translate_bootstrap.pl
index dbb7ec085..95dd6ca2e 100644
--- a/LGPL/chr/chr_translate_bootstrap.pl
+++ b/LGPL/chr/chr_translate_bootstrap.pl
@@ -1,4 +1,4 @@
-/*  $Id: chr_translate_bootstrap.pl,v 1.2 2006-01-08 23:01:47 vsc Exp $
+/*  $Id: chr_translate_bootstrap.pl,v 1.3 2006-01-08 23:04:41 vsc Exp $
 
     Part of CHR (Constraint Handling Rules)
 
@@ -124,10 +124,7 @@
 :- use_module(library(lists)).
 :- use_module(hprolog).
 :- use_module(library(assoc)).
-:- write_depth(3,3).
-%:- start_low_level_trace.
 :- use_module(pairlist).
-:- stop_low_level_trace.
 :- use_module(library(ordsets)).
 :- include(chr_op).
 
diff --git a/changes-5.1.html b/changes-5.1.html
index 005c3f1b2..cde9cd065 100644
--- a/changes-5.1.html
+++ b/changes-5.1.html
@@ -16,6 +16,8 @@
 
 <h2>Yap-5.1.0:</h2>
 <ul>
+<li> FIXED: mktime was broken in WIN32.
+<li> FIXED: don't assume a fixed point for WIN32 memory allocation.
 <li> FIXED: don't call goal_expand when looking for handlers of undefined procedures. </li>
 <li> FIXED: always walk through modules in the same order when waking
   up variables (otherwise, breaks CLP(QR)). </li>
diff --git a/library/system/sys.c b/library/system/sys.c
index 12dcbcd57..3ae721527 100644
--- a/library/system/sys.c
+++ b/library/system/sys.c
@@ -8,8 +8,11 @@
 *									 *
 **************************************************************************
 *									 *
-* $Id: sys.c,v 1.23 2005-10-21 16:09:03 vsc Exp $									 *
+* $Id: sys.c,v 1.24 2006-01-08 23:01:48 vsc Exp $									 *
 * mods:		$Log: not supported by cvs2svn $
+* mods:		Revision 1.23  2005/10/21 16:09:03  vsc
+* mods:		SWI compatible module only operators
+* mods:		
 * mods:		Revision 1.22  2005/03/10 18:04:01  rslopes
 * mods:		update YAP_Error arguments
 * mods:		to be able to compile on Windows...
@@ -145,7 +148,7 @@ sysmktime(void)
   {
     unsigned long long f1 = (((unsigned long long)ftime.dwHighDateTime)<<32)+(unsigned long long)ftime.dwLowDateTime;
     unsigned long long f0 = (((unsigned long long)ftime0.dwHighDateTime)<<32)+(unsigned long long)ftime0.dwLowDateTime;
-    return YAP_Unify(YAP_ARG8,YAP_MkIntTerm((long int)((f1-f0)/10000000)));
+    return YAP_Unify(YAP_ARG7,YAP_MkIntTerm((long int)((f1-f0)/10000000)));
   }
 #else
   return FALSE;