add precision on debian version