Index: tests/avltree/avl1.c
===================================================================
--- tests/avltree/avl1.c	(revision bf71cfdb7285490eee552b461158846f626cc52f)
+++ tests/avltree/avl1.c	(revision 73abe950d807eab747c9e14353b158fcca827308)
@@ -1,5 +1,5 @@
 #include "avl.h"
 // #include "cwrap.h"
-#include <stdlib>
+#include <stdlib.hfa>
 
 forall(otype K | Comparable(K), otype V)
Index: tests/avltree/avl3.c
===================================================================
--- tests/avltree/avl3.c	(revision bf71cfdb7285490eee552b461158846f626cc52f)
+++ tests/avltree/avl3.c	(revision 73abe950d807eab747c9e14353b158fcca827308)
@@ -1,5 +1,5 @@
 #include "avl.h"
 #include "avl-private.h"
-#include <stdlib>
+#include <stdlib.hfa>
 
 // swaps the data within two tree nodes
Index: tests/avltree/avl_test.c
===================================================================
--- tests/avltree/avl_test.c	(revision bf71cfdb7285490eee552b461158846f626cc52f)
+++ tests/avltree/avl_test.c	(revision 73abe950d807eab747c9e14353b158fcca827308)
@@ -1,5 +1,5 @@
 #include "avl.h"
 #include "avl-private.h"
-#include <stdlib>
+#include <stdlib.hfa>
 
 extern "C" {