debian: change priority to optional.