Minor fix in boost build script