Fixes #3840: Unknown linux are not unknown OS type
Merge pull request #23 from fanf/bug_3840/unknow_os_in_place_of_unknown_linux

Fixes #3840: Unknown linux are not unknown OS type