--- src/benchmark.c	2012-06-08 13:49:30.000000000 +0200
+++ src/benchmark.c	2015-10-03 13:23:43.279324001 +0200
@@ -21,6 +21,8 @@
 
 
 #include <config.h>
+#define _GNU_SOURCE
+#include <sched.h>
 #include <gavl.h>
 #include <gavldsp.h>
 #include <accel.h> /* Private header */
