TODO maybe we can use something more portable like vsnprintf instead of this hack. And share it with the Python extension ;)