COPYRIGHT was renamed into COPYING, to conform to the GNU coding standard