diff --git a/C/alloc.c b/C/alloc.c
index 699f80523..3295c9b63 100644
--- a/C/alloc.c
+++ b/C/alloc.c
@@ -63,7 +63,7 @@ static char SccsId[] = "%W% %G%";
 
 #if USE_SYSTEM_MALLOC
 #define my_malloc(sz) malloc(sz)
-#define my_realloc(ptr, sz, safe) realloc(ptr, sz)
+#define my_realloc(ptr, sz, osz, safe) realloc(ptr, sz)
 #define my_free(ptr) free(ptr)
 #else
 #define my_malloc(sz) Yap_dlmalloc(sz)
diff --git a/H/absmi.h b/H/absmi.h
index 0a2096b0f..a9cb8ba99 100644
--- a/H/absmi.h
+++ b/H/absmi.h
@@ -1152,9 +1152,9 @@ loop:
 	  unif++;
 #endif
 	  if ((void *)to_visit < (void *)unif) {
-	    struct unif_record *urec = unif;
-	    to_visit = (struct v_record *)Yap_shift_visit((CELL **)to_visit, (CELL ***)&urec);
-	    unif = urec;
+	    CELL **urec = (CELL **)unif;
+	    to_visit = (struct v_record *)Yap_shift_visit((CELL **)to_visit, &urec);
+	    unif = (struct unif_record *)urec;
 	  }
 	  to_visit->start0 = pt0;
 	  to_visit->end0 = pt0_end;
@@ -1197,9 +1197,9 @@ loop:
 	  unif++;
 #endif
 	  if ((void *)to_visit < (void *)unif) {
-	    struct unif_record *urec = unif;
-	    to_visit = (struct v_record *)Yap_shift_visit((CELL **)to_visit, (CELL ***)&urec);
-	    unif = urec;
+	    CELL **urec = (CELL **)unif;
+	    to_visit = (struct v_record *)Yap_shift_visit((CELL **)to_visit, &urec);
+	    unif = (struct unif_record *)urec;
 	  }
 	  to_visit->start0 = pt0;
 	  to_visit->end0 = pt0_end;