Yep, thanks - I've applied similar stopgap patches elsewhere, so this is fine (modulo version and target distribution, which I'll fix).
Yep, thanks - I've applied similar stopgap patches elsewhere, so this is fine (modulo version and target distribution, which I'll fix).