--- panel-plugin/devperf.c 2018-11-02 10:31:36.750842536 +0100 +++ panel-plugin/devperf.c 2018-11-02 10:33:18.000838499 +0100 @@ -39,8 +35,8 @@ #include #include +#include /* for major() and minor() */ -#define _BSD_SOURCE -#include +#include #if defined(__linux__)