Hijust after I wrote my mail about make modules not working I noticedthat my bash is rather old... I thought I updated it lately... ?1.12.4I'll download 1.14.4 and try it!Florian