Minor fix to Boost detection