Removing GNU-specific extension from stdarg.h