# HG changeset patch
# User jeremie
# Date 1403864294 14400
# Node ID 67b73c64e05bd10af2ad7fcb7223fb377f4d6eaf
# Parent  f21fd851be04bdac7c7275a7de02ec66da7c8092
Uploaded

diff -r f21fd851be04 -r 67b73c64e05b tool_dependencies.xml
--- a/tool_dependencies.xml	Fri Jun 27 06:15:33 2014 -0400
+++ b/tool_dependencies.xml	Fri Jun 27 06:18:14 2014 -0400
@@ -4,14 +4,14 @@
         <install version="1.0">
             <actions_group>
                 <actions architecture="i386" os="linux">
-                    <action type="download_by_url" target_filename="bin.tar.gz">https://www.dropbox.com/s/z4pn2xfqoln6tcd/1_2_6.tgz?dl=1</action>
+                    <action type="download_by_url" target_filename="bin.tgz">https://www.dropbox.com/s/z4pn2xfqoln6tcd/1_2_6.tgz?dl=1</action>
                     <action type="move_directory_files">
                         <source_directory>.</source_directory>
                         <destination_directory>$INSTALL_DIR/bin</destination_directory>
                     </action>       
                 </actions>                
                 <actions architecture="x86_64" os="linux">
-                    <action type="download_by_url" target_filename="bin.tar.gz">https://www.dropbox.com/s/z4pn2xfqoln6tcd/1_2_6.tgz?dl=1</action>
+                    <action type="download_by_url" target_filename="bin.tgz">https://www.dropbox.com/s/z4pn2xfqoln6tcd/1_2_6.tgz?dl=1</action>
                     <action type="move_directory_files">
                         <source_directory>.</source_directory>
                         <destination_directory>$INSTALL_DIR/bin</destination_directory>