Change-Id: I778feac0b50390f59a3621279636f8b09ed3def2
.desktop files for various Linux distros, and similar stuff for other OSes