Use the correct type for va_list on win32