--- davfs2-1.4.7.orig/src/kernel_interface.c 2012-07-19 12:58:48.000000000 +0200 +++ davfs2-1.4.7/src/kernel_interface.c 2014-01-01 20:01:11.000000000 +0100 @@ -20,7 +20,6 @@ #include "config.h" -#include #ifdef HAVE_FCNTL_H #include #endif