Fixing debian header