stdarg.h changes for __builtin_va_*