[Cocci] stripping renders spatch unusable [was: Starter issues with spatch]

[Julia Lawall]

> The openSUSE RPM is generally installed in the system.

Is the openSUSE RPM stripped?  If so, we should contact the maintainer, 
because it is simply not possible to strip ocaml binaries that are built 
with the -custom option.

thanks,
julia

> I also manually 
> recompiled spatch from coccinelle-0.2.2 sources, moved the spatch binary 
> to the "x" directory (see above) to make sure it does not rely on any 
> paths other than /usr/share/coccinelle (from the rpm, also 0.2.2), then 
> went to strip it.
>