you're on linux ... i don't have any problems running my externals
so i still think this is broken
mea culpa (?)
i have done a complete fresh checkout on my home machine and now it works...
hm ... although i try to keep the original build system up to date, i suggest to use the autobuild system (i'm working with that and trying to maintain it for linux) ...
cheers ... tim