graphviz/get_release_number.sh