z3: leave compiler selection to homebrew