Index: examples/gc_no_raii/bug-repro/blockers/file_scope.c
===================================================================
--- examples/gc_no_raii/bug-repro/blockers/file_scope.c	(revision bf71cfdb7285490eee552b461158846f626cc52f)
+++ examples/gc_no_raii/bug-repro/blockers/file_scope.c	(revision 58b6d1b3b8da710a22441043f60cb988a2c2e56d)
@@ -1,5 +1,5 @@
 
 #include <stdbool.h>
-#include <stdlib>
+#include <stdlib.hfa>
 
 #define POOL_SIZE_EXP 24
Index: examples/gc_no_raii/bug-repro/blockers/recursive_realloc.c
===================================================================
--- examples/gc_no_raii/bug-repro/blockers/recursive_realloc.c	(revision bf71cfdb7285490eee552b461158846f626cc52f)
+++ examples/gc_no_raii/bug-repro/blockers/recursive_realloc.c	(revision 58b6d1b3b8da710a22441043f60cb988a2c2e56d)
@@ -1,5 +1,5 @@
 
 #include <stdbool.h>
-#include <stdlib>
+#include <stdlib.hfa>
 
 trait allocator_c(otype T, otype allocator_t)
Index: examples/gc_no_raii/bug-repro/field.c
===================================================================
--- examples/gc_no_raii/bug-repro/field.c	(revision bf71cfdb7285490eee552b461158846f626cc52f)
+++ examples/gc_no_raii/bug-repro/field.c	(revision 58b6d1b3b8da710a22441043f60cb988a2c2e56d)
@@ -4,5 +4,5 @@
 }
 
-#include <stdlib>
+#include <stdlib.hfa>
 
 //------------------------------------------------------------------------------
Index: examples/gc_no_raii/bug-repro/slow_malloc.c
===================================================================
--- examples/gc_no_raii/bug-repro/slow_malloc.c	(revision bf71cfdb7285490eee552b461158846f626cc52f)
+++ examples/gc_no_raii/bug-repro/slow_malloc.c	(revision 58b6d1b3b8da710a22441043f60cb988a2c2e56d)
@@ -1,3 +1,3 @@
-#include <stdlib>
+#include <stdlib.hfa>
 
 forall(otype T)