.desktop files for different distros.