Index: uspace/lib/c/include/ipc/common.h
===================================================================
--- uspace/lib/c/include/ipc/common.h	(revision fedac2f6d42998b2d418219bfe3a62d4d5bc6162)
+++ uspace/lib/c/include/ipc/common.h	(revision 7554e41313cc1b20e404bcf3539a615006ffb1ea)
@@ -40,4 +40,5 @@
 #include <atomic.h>
 #include <task.h>
+#include <futex.h>
 
 #define IPC_FLAG_BLOCKING  0x01
@@ -51,5 +52,5 @@
 typedef sysarg_t ipc_callid_t;
 
-extern atomic_t async_futex;
+extern futex_t async_futex;
 
 #endif