Hi. Could someone please tell me why this patch was silently discarded ? Is there some something awfully wrong in the changes in tools/Makefile.in ? Or some other trivial mistake ? Frédéric