gcc 4 compilation fix for the use of va_list