Made display name of Debian OS uniform