add Debian version