Index: tests/concurrent/waitfor/barge.c
===================================================================
--- tests/concurrent/waitfor/barge.c	(revision bf71cfdb7285490eee552b461158846f626cc52f)
+++ tests/concurrent/waitfor/barge.c	(revision 8e6214fd05b409573f38728c086bcfa67dcfb76f)
@@ -6,9 +6,9 @@
 //---------------------------------------------------------
 
-#include <fstream>
-#include <kernel>
-#include <monitor>
-#include <stdlib>
-#include <thread>
+#include <fstream.hfa>
+#include <kernel.hfa>
+#include <monitor.hfa>
+#include <stdlib.hfa>
+#include <thread.hfa>
 
 #include <stdbool.h>