Index: kernel/generic/include/ipc/ipc.h
===================================================================
--- kernel/generic/include/ipc/ipc.h	(revision 5d0500cf34f298133f120c2783fb8ef7d5fb2e9c)
+++ kernel/generic/include/ipc/ipc.h	(revision e2ab36f1e7abed06e401610969fa967f43774dd8)
@@ -40,4 +40,5 @@
 #include <synch/mutex.h>
 #include <synch/waitq.h>
+#include <typedefs.h>
 
 #define IPC_MAX_PHONES  32
@@ -98,5 +99,5 @@
 	sysarg_t args[IPC_CALL_LEN];
 	/** Task which made or forwarded the call with IPC_FF_ROUTE_FROM_ME. */
-	struct task *task;
+	task_id_t task_id;
 	/** Phone which made or last masqueraded this call. */
 	phone_t *phone;