Merge pull request #6558 from herrold/master

XFCE's Launcher wants the .desktop file to be +x as well

Author: facchinm

build/build.xml

@@ -639,6 +639,7 @@
     <chmod perm="ugo+x">
         <fileset dir="linux/work" includes="arduino" />
         <fileset dir="linux/work" includes="**/*.sh" />
+        <fileset dir="linux/work/lib" includes="**/*desktop*" />
     </chmod>
   </target>