show debian version being used