<html><body><div style="color:#000; background-color:#fff; font-family:garamond, new york, times, serif;font-size:12pt"><b><span style="font-weight:bold;">From:</span></b> Bakul Shah <bakul@bitblocks.com><br><div style="font-family: garamond, new york, times, serif; font-size: 12pt;"><div style="font-family: times new roman, new york, times, serif; font-size: 12pt;"><div dir="ltr"><font face="Arial" size="2"> <b><span style="font-weight: bold;">To:</span></b> Marc Feeley <feeley@iro.umontreal.ca> <br><b><span style="font-weight: bold;">Cc:</span></b> Steve Graham <jsgrahamus@yahoo.com>; Gambit List <Gambit-list@iro.umontreal.ca> <br> <b><span style="font-weight: bold;">Sent:</span></b> Tuesday, March 19, 2013 12:43 PM<br> <b><span style="font-weight: bold;">Subject:</span></b> Re: [gambit-list] Running gambit program<br> </font> </div> <br>> > -rwxrwxrwx 1 root root 45 Feb 20 13:20 /usr/bin/gsi<br><br>Notice the filesize. I
 bet this was a shell script that didn't<br>pass arguments to the real gsi (or may be this gsi was doing<br>something completely different). If this file is still around<br>Steve can `cat -v' it to see what's in it. cat -v just in<br>case it contains some binary data.<br><br>> > -rwxr-xr-x 1 root root 5320182 Mar 19 11:05 /usr/src/gambit/gsi/gsi<br><br>Notice the different modify date of each gsi. My guess is<br>/usr/bin/gsi was locally created and left over from something<br>earlier. [And there is an admin bug: -rwxrwxrwx implies root<br>is likely using a umask of 0! Root should use `umask 022']<br><br>> I would like to understand what went wrong.  Previously you said that you bui<br>> lt Gambit in a conventional way:<br>    ...<br>> However, you later said that gsi was in /usr/bin/gsi .  This is very strange <br>> because building Gambit conventionally will install gsi in /usr/local/Gambit-<br>> C/bin/gsi ,
 so how come it ended up in /usr/bin/gsi?  And why did it not run <br>> properly?  I know you fixed your problem, but it would be worthwhile spending<br>>  some time to understand what the problem is so that I can fix the makefiles <br>> if they are at fault, for the benefit of others.<br><br>The one in /usr/bin was a bash file which changed the directory to /usr/local/gambit/gsi and executed ./gsi<br><br>Maybe some of this came from Mint Linux' package manager.<br><br><br>Steve<br> </div> </div>  </div></body></html>