libz3.so
libz3java.so
