From: Samium Gromoff <_deepfire at feelingofgreen.ru> > precisely since the change to the 7.2 version of the Boehm-Demers-Weiser ^^^ Sorry, this is incorrect, should be 7.1 here.