diff --git a/boards/px4/fmu-v5/src/stm32_userspace.c b/boards/px4/fmu-v5/src/stm32_userspace.c
index d906e41eb5..1c3335c37b 100644
--- a/boards/px4/fmu-v5/src/stm32_userspace.c
+++ b/boards/px4/fmu-v5/src/stm32_userspace.c
@@ -118,7 +118,7 @@ const struct userspace_s userspace __attribute__((section(".userspace"))) = {
 
 	/* User-space work queue support (declared in include/nuttx/wqueue.h) */
 
-#ifdef CONFIG_LIB_USRWORK
+#ifdef CONFIG_LIBC_USRWORK
 	.work_usrstart    = work_usrstart,
 #endif
 };