Fix debian version