New PATCH release 08.01.01 Changes since 08.01.00: * commit bab705bad90d2d9a5f71d8a5eb651425d6a36210 effectively revert commit 69fc98fcb7217bf8fc392bdef143b28851d85600 changing type bool->int was an accident which happened due to comparison with outdated test data