Index: arduino-1.6.5/build/build.xml
===================================================================
--- arduino-1.6.5/build/build.xml
+++ arduino-1.6.5/build/build.xml	2015-08-18 19:44:03.190712209 +0200
@@ -766,7 +766,7 @@
       <arg value="--lzma"/>
       <arg value="-c"/>
       <arg value="-f"/>
-      <arg value="arduino-${version}-${platform}.tar.xz"/>
+      <arg value="arduino-${version}.tar.xz"/>
       <arg value="arduino-${version}"/>
     </exec>
 
@@ -776,7 +776,7 @@
       =======================================================
       Arduino for Linux was built. Grab the archive from
 
-      linux/arduino-${version}-${platform}.tar.xz
+      linux/arduino-${version}.tar.xz
       =======================================================
     </echo>
   </target>