Make refork_after_error the default, add dont_refork_after_error
set doc encoding