--- ./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 */