Fix memory corruption in vclock_to_string()