Debian packaging fix