Index: src/benchmark/CorCtxSwitch.c
===================================================================
--- src/benchmark/CorCtxSwitch.c	(revision 114014cc95891a53c22aad854f7df8f26a722a5e)
+++ src/benchmark/CorCtxSwitch.c	(revision 15e4e229e30d072027f3e0cd4a71759959451647)
@@ -7,9 +7,9 @@
 coroutine GreatSuspender {};
 
-void ?{}( GreatSuspender * this ) {
+void ?{}( GreatSuspender & this ) {
 	prime(this);
 }
 
-void main( GreatSuspender * this )
+void main( GreatSuspender & this )
 {
 	while( true ) {
@@ -18,5 +18,5 @@
 }
 
-void resumer( GreatSuspender * this, const unsigned int NoOfTimes ) {
+void resumer( GreatSuspender & this, const unsigned int NoOfTimes ) {
 	for ( volatile unsigned int i = 0; i < NoOfTimes; i += 1 ) {
 		resume( this );
@@ -31,5 +31,5 @@
 
 	StartTime = Time();
-	resumer( &s, NoOfTimes );
+	resumer( s, NoOfTimes );
 	EndTime = Time();
 
Index: src/benchmark/PthrdCtxSwitch.c
===================================================================
--- src/benchmark/PthrdCtxSwitch.c	(revision 114014cc95891a53c22aad854f7df8f26a722a5e)
+++ src/benchmark/PthrdCtxSwitch.c	(revision 15e4e229e30d072027f3e0cd4a71759959451647)
@@ -1,6 +1,6 @@
 #include <stdio.h>
 #include <stdlib.h>
-#define _GNU_SOURCE
-#include <pthread.h>
+
+#include <sched.h>
 
 #include "bench.h"
@@ -12,5 +12,5 @@
 	StartTime = Time();
 	for ( volatile unsigned int i = 0; i < NoOfTimes; i += 1 ) {
-		pthread_yield();
+		sched_yield();
 	}
 	EndTime = Time();