Better way to handle Debian COdename