Fixes #3841: display name for unknow linux distribution