TESTING: ensure that name of output test file is stable