Workaround for non-compliant vsnprintf()