I think, I'm stuck here. The zorba binary I get when using exactly the same configuration options is still buggy. Does "make doc" also work correctly in your Ubuntu environment? I get a segmentation fault here as well. Here is my output of cmake which looks fine as far as I can tell: -- Looking for LibXml2 -- Found LIBXML2 library -- /usr/lib/i386-linux-gnu/libxml2.so -- -- Looking for ICU -- Found ICU library -- /usr/lib/i386-linux-gnu/libicuuc.so -- ICU Version: 52.1.0 -- Found ICU internationalization library -- /usr/lib/i386-linux-gnu/libicui18n.so -- Found ICU data library -- /usr/lib/i386-linux-gnu/libicudata.so -- Found ICU library -- /usr/lib/i386-linux-gnu/libicuuc.so -- -- Looking for Xerces-C -- -- Executable: PHP5_EXECUTABLE-NOTFOUND -- Library: PHP5_LIBRARY-NOTFOUND -- *NIX Environment Configuration... -- Could NOT find PythonLibs (missing: PYTHON_LIBRARIES PYTHON_INCLUDE_DIRS) -- ZORBA_NATIVE_STORE: ON -- ZORBA_STORE_DIR: /home/mgieseki/zorba/src/store/naive -- ZORBA_STORE_NAME: simplestore -- ZORBA_BATCHING_TYPE: 0 -- ZORBA_FLOAT_POINT_PRECISION: 18 -- ZORBA_WITH_CODE_COVERAGE: OFF -- ZORBA_WITH_CODE_PROFILE: OFF -- ZORBA_FOR_ONE_THREAD_ONLY: ON -- ZORBA_WITH_FILE_ACCESS [ON/OFF]: ON -- ZORBA_WITH_DEBUGGER [ON/OFF]: ON -- ZORBA_TEST_TIMEOUT_VALUE: 60 -- ZORBA_VERIFY_PEER_SSL_CERTIFICATE: OFF -- ZORBA_WIN_DLL: ON -- ZORBA_EXE: /home/mgieseki/zorba/build/bin/zorba -- ZORBA_DEBUG_PARSER: OFF -- ZORBA_DEBUG_STRING: ON -- ZORBA_NO_ICU: OFF -- ZORBA_NO_FULL_TEXT: OFF -- ZORBA_NO_XMLSCHEMA: OFF -- ZORBA_WITH_BIG_INTEGER: OFF -- ZORBA_WITH_THESAURUS: ON -- ZORBA_SUPPRESS_SWIG [ON/OFF]: OFF -- ZORBA_XQUERYX: OFF -- ZORBA_TEST_XQUERYX: OFF -- CMAKE_BINARY_DIR: /home/mgieseki/zorba/build -- CMAKE_SOURCE_DIR: /home/mgieseki/zorba -- CMAKE_SYSTEM: Linux-3.13.0-29-generic -- CMAKE_SYSTEM_NAME: Linux -- CMAKE_SYSTEM_VERSION: 3.13.0-29-generic -- CMAKE_SYSTEM_PROCESSOR: i686 -- UNIX: 1 -- WIN32: -- APPLE: -- MINGW: -- CYGWIN: -- BORLAND: -- MSVC: -- MSVC_IDE: -- MSVC60: -- MSVC70: -- MSVC71: -- MSVC80: -- CMAKE_COMPILER_2005: -- CMAKE_C_FLAGS: -O1 -- CMAKE_CXX_FLAGS: -O1 -- CMAKE_BUILD_TYPE: Debug -- CMAKE_INSTALL_PREFIX: /home/mgieseki/zorba/build/dist -- BUILD_SHARED_LIBS: -- CMAKE_C_COMPILER: /usr/bin/cc -- CMAKE_CXX_COMPILER: /usr/bin/c++ -- CMAKE_COMPILER_IS_GNUCC: 1 -- CMAKE_COMPILER_IS_GNUCXX: 1 -- CMAKE_AR: /usr/bin/ar -- CMAKE_RANLIB: /usr/bin/ranlib -- CMAKE_BUILD_TOOL = /usr/bin/make -- Detected GNU compiler version 4.9.0 (major version 4) -- GNU Compiler version greater than 4.0.1 -- Found Xerces 3.1.1 -- /usr/include/usr/lib/i386-linux-gnu/libxerces-c.so -- Zorba version number: 3.0.0 -- configured /home/mgieseki/zorba/scripts/create-doc-tar.sh.in -> /home/mgieseki/zorba/build/scripts/create-doc-tar.sh -- /usr/include -- /usr/lib/i386-linux-gnu/libedit.so -- configured /home/mgieseki/zorba/bin/debugger/config.h.cmake --> /home/mgieseki/zorba/build/bin/debugger/config.h -- ZORBA_TEST_PLAN_SERIALIZATION: OFF -- ZORBA_TEST_PLAN_SERIALIZATION_EXECUTION_ONLY: OFF -- ZORBA_TEST_PLAN_SERIALIZATION_COMPILE_ONLY: OFF -- Boost_INCLUDE_DIR = /usr/include -- Found one boost 1.54.0 -- look for component filesystem -- found ? Boost_FILESYSTEM_LIBRARY_RELEASE-NOTFOUND -- Adjusting FILESYSTEM -- Boost_INCLUDE_DIRS: /usr/include -- Boost_LIBRARIES: -- Boost component not found FILESYSTEM -- Boost filesystem or system component not found - not building multithreaded test driver -- Adding API tests for CTest -- Adding iterator plan tests -- Adding tests for CTest -- Looking for cURL -- Adding another 1000 Tests -- Adding another 1000 Tests -- Adding another 1000 Tests -- Add library ext2.xq -- Add library ext.xq -- Add library link.xq -- Adding unit tests for CTest -- Adding update tests for CTest -- Adding SAX2 tests for CTest -- Add library util-tests.xq -- Looking for cURL -- Found cURL library -- /usr/lib/i386-linux-gnu/libcurl.so -- Add library ftp-client.xq -- Add library http-client.xq -- Add library file.xq -- Add library sleep.xq -- Add library zorba-query.xq -- End modules -- configured /home/mgieseki/zorba/doc/zorba/doxy.config.in --> /home/mgieseki/zorba/build/doc/zorba/doxy.config -- Adding test for the C++ API's documentation: doc/cxx/examples/simple.cpp -- Adding test for the C++ API's documentation: doc/cxx/examples/sax2.cpp -- Adding test for the C++ API's documentation: doc/cxx/examples/errors.cpp -- Adding test for the C++ API's documentation: doc/cxx/examples/context.cpp -- Adding test for the C++ API's documentation: doc/cxx/examples/serialization.cpp -- Adding test for the C++ API's documentation: doc/cxx/examples/chaining.cpp -- Adding test for the C++ API's documentation: doc/cxx/examples/external_functions.cpp -- Adding test for the C++ API's documentation: doc/cxx/examples/datamanager.cpp -- Adding test for the C++ API's documentation: doc/cxx/examples/uri_resolvers.cpp -- Adding test for the C++ API's documentation: doc/cxx/examples/execution_plans.cpp -- Adding test for the C++ API's documentation: doc/cxx/examples/item_handler.cpp -- Adding test for the C++ API's documentation: doc/cxx/examples/callback.cpp -- Adding test for the C++ API's documentation: doc/cxx/examples/binary.cpp -- Adding test for the C++ API's documentation: doc/cxx/examples/module_import_check.cpp -- Adding test for the C++ API's documentation: doc/cxx/examples/jsoniq.cpp -- configured /home/mgieseki/zorba/doc/cxx/examples/Makefile.cmake /home/mgieseki/zorba/build/doc/cxx/examples/Makefile.zorba -- configured /home/mgieseki/zorba/doc/cxx/doxy.config.in --> /home/mgieseki/zorba/build/doc/cxx/doxy.config -- Adding test for the C API's documentation: doc/c/examples/csimple.c -- Adding test for the C API's documentation: doc/c/examples/ccontext.c -- Adding test for the C API's documentation: doc/c/examples/cerror.c -- Adding test for the C API's documentation: doc/c/examples/cparsing.c -- Adding test for the C API's documentation: doc/c/examples/cexternal_functions.c -- Adding test for the C API's documentation: doc/c/examples/cserialization.c -- Adding test for the C API's documentation: doc/c/examples/csequences.c -- configured /home/mgieseki/zorba/doc/c/doxy.config.in --> /home/mgieseki/zorba/build/doc/c/doxy.config -- Seting path for java tests /home/mgieseki/zorba/build/swig/java -- configured /home/mgieseki/zorba/doc/java/doxy.config.in --> /home/mgieseki/zorba/build/doc/java/doxy.config -- configured /home/mgieseki/zorba/doc/xqj/doxy.config.in --> /home/mgieseki/zorba/build/doc/xqj/doxy.config -- Adding Python test -- configured /home/mgieseki/zorba/doc/python/doxy.config.in --> /home/mgieseki/zorba/build/doc/python/doxy.config -- Could NOT find Ruby (missing: RUBY_INCLUDE_DIR RUBY_LIBRARY RUBY_CONFIG_INCLUDE_DIR) (found version "1.9.1") -- configured /home/mgieseki/zorba/doc/ruby/doxy.config.in --> /home/mgieseki/zorba/build/doc/ruby/doxy.config -- configured /home/mgieseki/zorba/doc/php/doxy.config.in --> /home/mgieseki/zorba/build/doc/php/doxy.config -- configured /home/mgieseki/zorba/doc/csharp/doxy.config.in --> /home/mgieseki/zorba/build/doc/csharp/doxy.config -- configured /home/mgieseki/zorba/doc/code/doxy.config.in --> /home/mgieseki/zorba/build/doc/code/doxy.config -- configured /home/mgieseki/zorba/include/zorba/config.h.cmake -->/home/mgieseki/zorba/build/include/zorba/config.h -- Bison: 2.7 > 2.4 -- Bison: 2.7 < 3.0 -- Flex: 2.5.35 == 2.5.35 -- configured /home/mgieseki/zorba/src/compiler/parser/copyparser.sh.cmake -->/home/mgieseki/zorba/build/copyparser.sh -- configured /home/mgieseki/zorba/src/context/root_static_context_init.cpp.in => /home/mgieseki/zorba/build/src/context/root_static_context_init.cpp -- PRECOMPILED HEADERS: OFF -- processing store dir /home/mgieseki/zorba/src/store/naive with name simplestore -- SWIG: Python binding not generated because library and include files are not installed. -- SWIG: PHP5 binding not generated because library and include file are not installed. -- SWIG: Generating Java API -- SWIG: Generating XQJ API -- Copying tck batch... -- Ruby module being built non-Universal -- Could NOT find Ruby (missing: RUBY_INCLUDE_DIR RUBY_LIBRARY RUBY_CONFIG_INCLUDE_DIR) (found version "1.9.1") -- SWIG: Ruby binding not generated because library and include files are not installed. -- Creating check_core_uris and check_uris targets -- ADD_XQDOC_TARGETS -- added target xqdoc -- added test test/xqdoc/make_xqdoc -- ADD_XQDOC_TARGETS END -- Configuring done -- Generating done -- Build files have been written to: /home/mgieseki/zorba/build