Use va_copy correctly on platforms that support it