Rename gpl.txt to the recommended one of COPYING