On Tue, Feb 26, 2008 at 11:21 PM, Philip Mötteli <Philip.Moetteli at tele2.ch> wrote: > It works! > But why? I mean, 'which' gives exactly the same file. Can you paste the output of "echo $PATH" please? -- Best Regards, John Musbach