Need to have seed number included in filename, else the faillog files won't be reported at end of test