I filed this bug a few months ago and never got a response but it was too late to make that proposed change for Stretch so that's understandable. I'd really like to see this happen before Ubuntu 17.10 is released in a few months. I'd be happy to submit a patch if you're interested. https://bugs.debian.org/856858 Thanks, Jeremy Bicha