Add a src/util.c patch from Paul Lecuq
Change src/stdarg.h to stdarg.h