Index: src/benchmark/Makefile.am
===================================================================
--- src/benchmark/Makefile.am	(revision b3e972935f6f7771e50f45a552aaae0f45c2f7e7)
+++ src/benchmark/Makefile.am	(revision 7823bf0dce26d637557920044ae6e2e5a1feee1f)
@@ -24,5 +24,5 @@
 bench :
 	@for ccflags in "-debug" "-nodebug"; do \
-		echo ${CC} ${AM_CFLAGS} ${CFLAGS} $${ccflags} -lrt bench.c;\
+		echo ${CC} ${AM_CFLAGS} ${CFLAGS} ${ccflags} @CFA_FLAGS@ -lrt bench.c;\
 		${CC} ${AM_CFLAGS} ${CFLAGS} $${ccflags} -lrt bench.c;\
 		./a.out ; \
@@ -31,5 +31,5 @@
 
 ctxswitch-coroutine:
-	${CC} ${AM_CFLAGS} ${CFLAGS} $${ccflags} -nodebug -lrt -DN=10000000 CorCtxSwitch.c
+	${CC} ${AM_CFLAGS} ${CFLAGS} ${ccflags} @CFA_FLAGS@ -nodebug -lrt -DN=10000000 CorCtxSwitch.c
 	@for number in 1 2 3 4 5 6 7 8 9 10; do \
                 ./a.out ; \
@@ -38,5 +38,5 @@
 
 ctxswitch-thread:
-	${CC} ${AM_CFLAGS} ${CFLAGS} $${ccflags} -nodebug -lrt -DN=10000000 ThrdCtxSwitch.c
+	${CC} ${AM_CFLAGS} ${CFLAGS} ${ccflags} @CFA_FLAGS@ -nodebug -lrt -DN=10000000 ThrdCtxSwitch.c
 	@for number in 1 2 3 4 5 6 7 8 9 10; do \
                 ./a.out ; \
@@ -45,5 +45,5 @@
 
 csv-data:
-	@${CC} ${AM_CFLAGS} ${CFLAGS} $${ccflags} -nodebug -lrt -quiet -DN=10000000 csv-data.c
+	@${CC} ${AM_CFLAGS} ${CFLAGS} ${ccflags} @CFA_FLAGS@ -nodebug -lrt -quiet -DN=10000000 csv-data.c
 	@./a.out
 	@rm -f ./a.out
Index: src/benchmark/Makefile.in
===================================================================
--- src/benchmark/Makefile.in	(revision b3e972935f6f7771e50f45a552aaae0f45c2f7e7)
+++ src/benchmark/Makefile.in	(revision 7823bf0dce26d637557920044ae6e2e5a1feee1f)
@@ -471,5 +471,5 @@
 bench :
 	@for ccflags in "-debug" "-nodebug"; do \
-		echo ${CC} ${AM_CFLAGS} ${CFLAGS} $${ccflags} -lrt bench.c;\
+		echo ${CC} ${AM_CFLAGS} ${CFLAGS} ${ccflags} @CFA_FLAGS@ -lrt bench.c;\
 		${CC} ${AM_CFLAGS} ${CFLAGS} $${ccflags} -lrt bench.c;\
 		./a.out ; \
@@ -478,5 +478,5 @@
 
 ctxswitch-coroutine:
-	${CC} ${AM_CFLAGS} ${CFLAGS} $${ccflags} -nodebug -lrt -DN=10000000 CorCtxSwitch.c
+	${CC} ${AM_CFLAGS} ${CFLAGS} ${ccflags} @CFA_FLAGS@ -nodebug -lrt -DN=10000000 CorCtxSwitch.c
 	@for number in 1 2 3 4 5 6 7 8 9 10; do \
                 ./a.out ; \
@@ -485,5 +485,5 @@
 
 ctxswitch-thread:
-	${CC} ${AM_CFLAGS} ${CFLAGS} $${ccflags} -nodebug -lrt -DN=10000000 ThrdCtxSwitch.c
+	${CC} ${AM_CFLAGS} ${CFLAGS} ${ccflags} @CFA_FLAGS@ -nodebug -lrt -DN=10000000 ThrdCtxSwitch.c
 	@for number in 1 2 3 4 5 6 7 8 9 10; do \
                 ./a.out ; \
@@ -492,5 +492,5 @@
 
 csv-data:
-	@${CC} ${AM_CFLAGS} ${CFLAGS} $${ccflags} -nodebug -lrt -quiet -DN=10000000 csv-data.c
+	@${CC} ${AM_CFLAGS} ${CFLAGS} ${ccflags} @CFA_FLAGS@ -nodebug -lrt -quiet -DN=10000000 csv-data.c
 	@./a.out
 	@rm -f ./a.out
Index: src/benchmark/csv-data.c
===================================================================
--- src/benchmark/csv-data.c	(revision b3e972935f6f7771e50f45a552aaae0f45c2f7e7)
+++ src/benchmark/csv-data.c	(revision 7823bf0dce26d637557920044ae6e2e5a1feee1f)
@@ -3,7 +3,9 @@
 #include <threads>
 
+extern "C" {
 #include <unistd.h>					// sysconf
 #include <sys/times.h>					// times
 #include <time.h>
+}
 
 inline unsigned long long int Time() {