I pushed a patch to attempt to fix the case, can you try with latest git master branch?

—
Reply to this email directly or view it on GitHub.