x86_64: libCLIPSJNI.so
