> Can you recompile with debugging enabled (Tobias, how do you do that)? That's a good question ... probably, it's enabled by default here, and I simply don't _dis_able it?! There's a BUILD_TESTING cmake switch, probably this one? Probably Johannes knows it - he's the senior dev ;-)