Index: examples/gc_no_raii/src/tools/print.h
===================================================================
--- examples/gc_no_raii/src/tools/print.h	(revision bf71cfdb7285490eee552b461158846f626cc52f)
+++ examples/gc_no_raii/src/tools/print.h	(revision ea5b7d6404672e44c86d9619138a0e04d3c4b2dc)
@@ -3,5 +3,5 @@
 // #ifndef NDEBUG
 //
-// #include <fstream>
+// #include <fstream.hfa>
 //
 // #define DEBUG_OUT(x) sout | x | endl;
Index: examples/gc_no_raii/src/tools/worklist.h
===================================================================
--- examples/gc_no_raii/src/tools/worklist.h	(revision bf71cfdb7285490eee552b461158846f626cc52f)
+++ examples/gc_no_raii/src/tools/worklist.h	(revision ea5b7d6404672e44c86d9619138a0e04d3c4b2dc)
@@ -10,5 +10,5 @@
 #endif
 
-#include <vector>
+#include <vector.hfa>
 
 typedef vector(intptr_t*, heap_allocator(intptr_t*)) worklist_t;