Fixes #3841: display name for unknow linux distribution
Merge pull request #295 from fanf/bug_3841/display_name_for_other_linux_distro

Fixes #3841: display name for unknow linux distribution