Actually, it turns out that it was a bug in Debian's melt, see http://bugs.debian.org/627133
Feel free to close this bug!
Actually, it turns out that it was a bug in Debian's melt, see http:// bugs.debian. org/627133
Feel free to close this bug!