licence.txt contains gpl3