F* needs Z3 4.3.1