adding files for debian packaging