Update gnugplv3.txt