Fix implementation of get_release_version