Guenter, You are fully right regarding the three patches that are already included upstream. I am a little bit puzzled, because I do not know what was leading me to reach wrong conclusions. Anyway, I started already anew and the package builds fine now. Should we release 0.99.17.135-1 soon? -- Rafael