Dear all, I found out that some header files in the src/h directory are executable after cloning ECL git repo. There are surely other permissions strangenesses elsewhere. I guess this is not on purpose, although it is not really harmful. Best, -- Jean-Pierre Flori