[boost] Bug report (back from a long hiatus!)