GPLv3 file headers and license file