z3 building ошибка привязки Java

Question

Я получил сообщение об ошибке ниже при компиляции исходного кода z3 (37c9a31 commit) для привязки Java на Mac.
Я использую OS X El Capitan, а версия Java - 1.8.0_91. Кто-нибудь знает как это исправить?

Другой вопрос: поддерживается ли String в z3 Java-привязке, скомпилированной из исходного кода? Последняя версия выпуска (4.4.1) не поддерживает String.

"/usr/bin/javac" ../src/api/java/enumerations/*.java -d api/java/classes

"/usr/bin/javac" -cp api/java/classes ../src/api/java/*.java -d api/java/classes

../src/api/java/Sort.java:134: error: an enum switch case label must be the unqualified name of an enumeration constant
        case Z3_SEQ_SORT:
             ^

../src/api/java/Sort.java:136: error: an enum switch case label must be the unqualified name of an enumeration constant
        case Z3_RE_SORT:
             ^
../src/api/java/Expr.java:2179: error: an enum switch case label must be the unqualified name of an enumeration constant
        case Z3_SEQ_SORT:
             ^

../src/api/java/Expr.java:2181: error: an enum switch case label must be the unqualified name of an enumeration constant
        case Z3_RE_SORT:
             ^

4 errors
make: *** [com.microsoft.z3.jar] Error 1