Hi Sasha, thanks for the report. I actually sent a similar patch to Jens a couple days ago, but it seems he's on vacation currently asI haven't seen him reply to this or other patches.