Ah, good catch. Patch applied, thanks. It's available in the current git.
Note that I still can't push to github because they've broken their sshd's compatibility with dropbear. I've reported the issue, but it hasn't been fixed yet. Until they fix it, the GitHub mirror for skarnet.org packages will be stale.--
Laurent
