version_autogenerated.h: use printf rather than echo -n