Add shell header to Debian scripts