On 5/3/2017 4:24 AM, Carl Eugen Hoyos wrote: > 2017-03-30 0:47 GMT+02:00 Carl Eugen Hoyos <cehoyos at ag.or.at>: > >> Attached patch fixes a compilation error here. > > If nobody wants to work on this issue, I'll commit > this patch in a few days. > > Carl Eugen I have pushed a variation of my previous suggestion.