@baptr I'd appreciate if you had a look in the bug report and this change in particular.