configurations and scripts for debian packaging