Fix regrtest -F.
1 file changed