Migration from SVN to GitHub: adapting version string calculation.