diff --git a/share/dune b/share/dune
index 3edaa7a08d7dc52852fa65c15960ce083611f207..0b6c3a320c5e7002b2149de073eb87d3f7844ea0 100644
--- a/share/dune
+++ b/share/dune
@@ -19,6 +19,9 @@
 (libc/sys/wait.h as libc/sys/wait.h)
 (libc/sys/socket.h as libc/sys/socket.h)
 (libc/sys/select.h as libc/sys/select.h)
+(libc/sys/sendfile.h as libc/sys/sendfile.h)
+(libc/stdatomic.h as libc/stdatomic.h)
+(libc/stdnoreturn.h as libc/stdnoreturn.h)
 (libc/sys/times.h as libc/sys/times.h)
 (libc/sys/types.h as libc/sys/types.h)
 (libc/sys/file.h as libc/sys/file.h)
@@ -32,8 +35,11 @@
 (libc/sys/param.h as libc/sys/param.h)
 (libc/__fc_define_dev_t.h as libc/__fc_define_dev_t.h)
 (libc/glob.h as libc/glob.h)
+(libc/__fc_define_locale_t.h as libc/__fc_define_locale_t.h)
 (libc/__fc_define_id_t.h as libc/__fc_define_id_t.h)
+(libc/__fc_define_max_open_files.h as libc/__fc_define_max_open_files.h)
 (libc/__fc_define_time_t.h as libc/__fc_define_time_t.h)
+(libc/__fc_define_timeval.h as libc/__fc_define_timeval.h)
 (libc/stdint.h as libc/stdint.h)
 (libc/sched.h as libc/sched.h)
 (libc/__fc_define_blksize_t.h as libc/__fc_define_blksize_t.h)
@@ -44,6 +50,9 @@
 (libc/float.h as libc/float.h)
 (libc/poll.h as libc/poll.h)
 (libc/wchar.c as libc/wchar.c)
+(libc/argz.h as libc/argz.h)
+(libc/argz.c as libc/argz.c)
+(libc/stdatomic.c as libc/stdatomic.c)
 (libc/time.c as libc/time.c)
 (libc/grp.h as libc/grp.h)
 (libc/fenv.h as libc/fenv.h)