Correct jtreg name