> -rw-r--r-- 1 root root 64140 Jun 23 21:18 /usr/bin/diff ?! Pff... I'll see when I have some time. Samuel