When comparing OS to see if they match for binary cache, we only compare
the lower case distribution name because sometimes "Debian' is
capitalized and sometimes not.