Debian DIST_ID fix