Use printf instead of sprintf for exporting to STL