Deal with the GDB clashing tag names.

	* tag-release.sh: Use a separate tagname for GDB.