Temporarily patches git_compare_version.