Use latest z3 option names