license GPL-3 (for executable)