Remove archaic disable_function_redefinition option.