@zdohnal, thanks a lot for the patch, I have applied it now (with slight adjustments) to the Ubuntu package, fixing bug #2054869.
@zdohnal, thanks a lot for the patch, I have applied it now (with slight adjustments) to the Ubuntu package, fixing bug #2054869.