Modify this test suc htaht results are consistent with and without debugging enabled (and also such that it passes on red hat). Thanks for Stephan and Tim for input.