Various fixes for debian packages