Use correct type for va_list on win32