(old) Debian bug marked as fixed.