Bug fixes to debian package.