This is unused and unnecessary. Just call `os.platform()`; it's fast.