Need to have seed number included in filename, else the faillog files wo...

...n't be reported at end of test