maint - further fix for debian packaging