JuanLeon Lahoz <juanleon.lahoz@gmail.com> writes: > (I would appreciate very much a way to get a patch for fixing this, > if/when available) Could you, please, check whether the patch works for you? Best regards, Michael.