Enabling Boost by default as it seems to work under linux aswell (Gentoo 13.0 that is)