Fixed Debian packaging bug.