Make setversion.pl also change the version number of the guide