Hi, sorry if I just need more sleep, but I'm pretty sure to have seen 'make check-c++' running the C++ testsuite *twice*. Seriously, many times over the last month or two, never before. Does this make sense to anybody? What could I do to debug it? Thanks, Paolo.