Fix amazon linux dist

replaces #7408. Fixed to use ID. ping @tianon 
Yeah, this seems fine.  I only want to go to lowercase instead because that's what `os-release` uses (in `ID`), and it's supposed to be "the standard", so it makes sense to go with that, IMO.