Use proper license in COPYING, GPL-3.