This will make it easier to reproduce a test failure by cut-and-paste of the corresponding line from the github log.