Translate operating system names (fixes #487)