Convert "6.4.0c" to a proper git tag.