server/version.cc