Simplify Z3 executable discovery.