Upgrade Graphlib version number