diff --git a/share/dune b/share/dune
index 59006e15d0b530ce1de67f8e9fa9f61457aeb3e1..3edaa7a08d7dc52852fa65c15960ce083611f207 100644
--- a/share/dune
+++ b/share/dune
@@ -60,6 +60,7 @@
 (libc/stdlib.c as libc/stdlib.c)
 (libc/stdio.h as libc/stdio.h)
 (libc/__fc_define_fd_set_t.h as libc/__fc_define_fd_set_t.h)
+(libc/__fc_define_fds.h as libc/__fc_define_fds.h)
 (libc/locale.h as libc/locale.h)
 (libc/features.h as libc/features.h)
 (libc/getopt.h as libc/getopt.h)