additional files for debian packaging.