[src/reversible/optimization/adding_lines.cpp] (again!) fix breakage due to boost upgrade