Put the Boost libraries separation on hold since it causes segfaults; for now the bundled ones are used