Comment # 11 on bug 96239 from Bas Nieuwenhuizen

Thanks a lot for finding the cause of the issue.

I pushed e9d3246a7a74282fbbf95ed077e3c3b7750c8ddd to git, that patch should fix
the issue.