Index: uspace/lib/c/generic/fibril.c
===================================================================
--- uspace/lib/c/generic/fibril.c	(revision 87179ca4cc0cc8cd9da9a24f0dbac1e8e927d8e1)
+++ uspace/lib/c/generic/fibril.c	(revision 6c1bb0dc684699135a18f3b165ff9b3ad4f5a3fa)
@@ -51,5 +51,5 @@
 #include <futex.h>
 
-#ifdef futex_unlockGRADABLE
+#ifdef FUTEX_UPGRADABLE
 #include <rcu.h>
 #endif
@@ -88,5 +88,5 @@
 	fibril_t *fibril = __tcb_get()->fibril_data;
 
-#ifdef futex_unlockGRADABLE
+#ifdef FUTEX_UPGRADABLE
 	rcu_register_fibril();
 #endif
@@ -254,5 +254,5 @@
 	futex_unlock(&fibril_futex);
 	
-#ifdef futex_unlockGRADABLE
+#ifdef FUTEX_UPGRADABLE
 	if (stype == FIBRIL_FROM_DEAD) {
 		rcu_deregister_fibril();