put z3 license at the top level