Hi Corinna and Yaakov, I have created a patch against the git head to solve this problem. Could you please have a look? -- Takashi Yano