diff -r e056e4e0b08e -r b20d6088795c ucx/avl.h
--- a/ucx/avl.h	Fri Feb 26 16:22:20 2016 +0100
+++ b/ucx/avl.h	Fri Feb 26 16:33:04 2016 +0100
@@ -44,7 +44,7 @@
 
 #include "ucx.h"
 #include "allocator.h"
-#include <stdint.h>
+#include <inttypes.h>
 
 #ifdef	__cplusplus
 extern "C" {