* 0.72 with an improved path checker from @fweimer