DivFix++ 1.13 beta