LICENSE: use GPLv3