Added Boost, but still doesn't fix the segfault in Linux