diff --git a/fs/aio/aio_fsync.c b/fs/aio/aio_fsync.c
index ba4336638e6..86f208815ec 100644
--- a/fs/aio/aio_fsync.c
+++ b/fs/aio/aio_fsync.c
@@ -43,10 +43,10 @@
 #include <aio.h>
 #include <assert.h>
 #include <errno.h>
+#include <debug.h>
 
 #include <nuttx/wqueue.h>
 
-#include "lib_internal.h"
 #include "aio/aio.h"
 
 #ifdef CONFIG_FS_AIO
diff --git a/fs/aio/aio_read.c b/fs/aio/aio_read.c
index b6eedf2f717..002a646d2d4 100644
--- a/fs/aio/aio_read.c
+++ b/fs/aio/aio_read.c
@@ -44,10 +44,10 @@
 #include <aio.h>
 #include <assert.h>
 #include <errno.h>
+#include <debug.h>
 
 #include <nuttx/wqueue.h>
 
-#include "lib_internal.h"
 #include "aio/aio.h"
 
 #ifdef CONFIG_FS_AIO
diff --git a/fs/aio/aio_write.c b/fs/aio/aio_write.c
index fef44974bbe..35613add10a 100644
--- a/fs/aio/aio_write.c
+++ b/fs/aio/aio_write.c
@@ -45,10 +45,10 @@
 #include <aio.h>
 #include <assert.h>
 #include <errno.h>
+#include <debug.h>
 
 #include <nuttx/wqueue.h>
 
-#include "lib_internal.h"
 #include "aio/aio.h"
 
 #ifdef CONFIG_FS_AIO