diff --git a/cl/tests/data/pt-0850.c b/cl/tests/data/pt-0850.c
index a0c935ff0..4149fa2f2 100644
--- a/cl/tests/data/pt-0850.c
+++ b/cl/tests/data/pt-0850.c
@@ -13,5 +13,5 @@ int *ptrA, *ptrB, *ptrC;
 int main()
 {
     ptrA = ptrB;
-    ptrB = &ptrC;
+    ptrB = (void *) &ptrC;
 }
diff --git a/cl/tests/data/pt-0950.c b/cl/tests/data/pt-0950.c
index 77ed7ba69..9f031d4e8 100644
--- a/cl/tests/data/pt-0950.c
+++ b/cl/tests/data/pt-0950.c
@@ -10,7 +10,7 @@ int test(int *p)
     // Note that we are accessing local variable!  This is just for points-to
     // test purposes.
 
-    *p = &i;
+    *p = (long) &i;
 }
 
 
@@ -18,7 +18,7 @@ int main(int argc, char **argv)
 {
     int i, j;
 
-    i = &j;
+    i = (long) &j;
 
     // ___cl_pt_points_glob_y(i, j);
 
diff --git a/include/predator-builtins/verifier-builtins.h b/include/predator-builtins/verifier-builtins.h
index 7276f31e1..f420e2ca1 100644
--- a/include/predator-builtins/verifier-builtins.h
+++ b/include/predator-builtins/verifier-builtins.h
@@ -68,6 +68,8 @@ void __VERIFIER_error() __attribute__ ((__noreturn__));
  * sl.h:62:25: error: ‘int __VERIFIER_nondet_int()’ defined but not used
  */
 
+#   include <stdlib.h>          // for abort();
+
 static /* inline */  void ___sl_break(const char *msg)
 {
     (void) msg;