diff -r 62f1a55535e7 -r 0b33b9396851 ui/motif/button.c
--- a/ui/motif/button.c	Mon Feb 04 14:46:11 2019 +0100
+++ b/ui/motif/button.c	Mon Feb 04 17:49:50 2019 +0100
@@ -32,7 +32,7 @@
 #include "button.h"
 #include "container.h"
 #include "../common/context.h"
-#include "../../ucx/mempool.h"
+#include <ucx/mempool.h>
 
 
 UIWIDGET ui_button(UiObject *obj, char *label, ui_callback f, void *data) {