Tobias, > succeeds with your patch, but without it.
was supposed to be "succeeds with your patch, but not without it." I also understand what happened when the test was split in two files: If the module file is compiled with the patched compiler, then the test succeed with ot without the patch. On the other hand, if the module file is compiled with the unpatched compiler, then the test fails even with the patched compiler, i.e., the error is in the module and it is not recompiled. Dominique