--- devlink/devlink.c.orig 2020-06-08 08:00:37.855433217 +0200 +++ devlink/devlink.c 2020-06-08 08:00:47.755432741 +0200 @@ -26,6 +26,7 @@ #include #include #include +#include #include "SNAPSHOT.h" #include "list.h"