[No reviewer] Fix up boost