Hi Cedric, On 12/04/2014 03:55 AM, Cedric Jehasse wrote: > Hi Denis, > >> Please try the following patch (attached) and tell me if it fixes this bug >> on your platform. > This patch caused a segfault. Please have a look at the reworked patch > (attached). Yes, of course. Thanks for cleaning up after me. The corrected fix has now been pushed upstream. Regards, -Denis