z3 fails_with :clang
z3: leave compiler selection to homebrew
Merge pull request #1 from thpani/master

Fix z3 on XCode 5