Fixed/updated some debian packaging stuff