updated files for debian packaging