Fixes #2244: avoid constantly changing os.release_name

I'm submitting this PR on the behalf of a contributor who didn't want to create a Github account, but I've given him authorship in the commit.