diff -Naur wmhdplop-0.9.10.orig/devnames.c wmhdplop-0.9.10/devnames.c --- wmhdplop-0.9.10.orig/devnames.c 2016-11-24 15:49:55.000000000 +0100 +++ wmhdplop-0.9.10/devnames.c 2017-02-16 15:03:08.946447885 +0100 @@ -4,6 +4,7 @@ #include #include #include +#include #include #include #include