Hi! FWIW upstream/master has a patch for this already: 54180430241717eca72865c918f5a2c09d6a56e2 Christoph -- 9FED 5C6C E206 B70A 5857 70CA 9655 22B9 D49A E731 Debian Developer | Lisp Hacker | CaCert Assurer