Index: misc/c-files.txt
===================================================================
--- misc/c-files.txt	(revision f7c91fc3df0b13bae0e116a0f7c07f04ef893812)
+++ misc/c-files.txt	(revision dfe428876ff72cf139c37f1a998006ed170d3af6)
@@ -49,4 +49,5 @@
 include/slice.h
 include/smdefs.h
+include/stdarg.h
 include/stddefs.h
 include/stdio.h
@@ -56,5 +57,4 @@
 include/tundsp.h
 include/uartio.h
-include/varargs.h
 include/vsdd.h
 include/vsddsw.h