fix test run

Now all 3 files pass the test

Note that one of the files does not have test pragmas anyhow.