Minor improvement of the desktop file

It is the same as #553 but without i18n.
Are you sure you didn't mess with your system? None of my Ubuntu, Debian, or Arch Linux installations have executable desktop files.