Solved debian packaging minor issues