(NB: the debug_filter stuff remains non-reentrant because it's usually only called from main() or at least the main thread) closes #654 This was SVN commit r8543.