Added a Boost cmake setting, trying to fix jenkins build