Add missing stdarg (funnily, linux/clang does not complain about this miss)