<html><head><style type="text/css"><!-- DIV {margin:0px;} --></style></head><body><div style="font-family:arial, helvetica, sans-serif;font-size:10pt;color:#000000;"><DIV></DIV>
<DIV>Hi,</DIV>
<DIV> </DIV>
<DIV>If I change my operational system Windows7 to Ubuntu Linux, may all my toolboxes that I downloaded *.bin.zip</DIV>
<DIV>be used in Linux ? Or should I download the files *.src.zip ?</DIV>
<DIV> </DIV>
<DIV>Is the file *.bin.i686.linux.tar.gz for Linux 32bits or 64bits ?</DIV>
<DIV> </DIV>
<DIV>Thank you.</DIV>
<DIV> </DIV>
<DIV>All best,</DIV>
<DIV>Reinaldo.</DIV></div><br>
</body></html>