version: note #558 and boost-1.53 bug fix