Some fixes and improvements to debian folder

This closes also issue #5