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