simplify GPL exception