debian files, script to push packages for #15