(__vfwprintf_chk, __vwprintf_chk): Use __gnuc_va_list rather than