instead of <varargs.h>. Note that this is a workaround, not a fix; the correct fix would be to excise all mention of <varargs.h> from the code.