Enhance portability of va_copy()