--- davfs2-1.4.7.orig/src/coda.h	2009-04-14 21:54:57.000000000 +0200
+++ davfs2-1.4.7/src/coda.h	2014-01-01 20:12:52.000000000 +0100
@@ -57,6 +57,12 @@ typedef int		     int32_t;
 typedef unsigned int	   u_int32_t;
 #endif
 
+typedef unsigned long u_long;
+typedef unsigned int u_int;
+typedef unsigned short u_short;
+typedef unsigned long long u_quad_t;
+#include <sys/types.h>
+
 
 /*
  * Cfs constants
