Fix inclusion of va_arg