Fixes #2244: avoid constantly changing os.release_name