Added workaround for non-compliant runtimes in alloc_vprintf()