bugfix: debian version name