Add missing <stdarg.h> include