Support Debian distribution names