Hi, I did check this patch on x86-64 under Linux and got only unrelated failures (in particular because I did not configure --prefix=/usr). LGTM. Reviewed-by: Paul Zimmermann <Paul.Zimmermann@inria.fr> Paul