situation in release builds a bit as we get at least a list of (afterwards failing) dumpers. (cherry picked from commit 01284f21)