Index: misc/c-files.txt
===================================================================
--- misc/c-files.txt	(revision bfc0072417012e9cf8877387e0040d6245a99117)
+++ 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