Dear Andreas, while making a fresh clone I observed timeouts when doing 'git submodule update'. I could resolve this problem by replacing 'git://..' by 'https://...' in .gitmodules. Gregor