correcting bug for Debian packages