Update files for debian packaging