Some fixes for debian packages