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 e5ea867f74eefbaecafb0b5081b7a0a3ed60d64f)
@@ -1,3 +1,3 @@
-#include <stdlib>
+#include <stdlib.hfa>
 
 forall(otype T)
