- some tweaks to version.cc