fix Boost for shark