Restore FunDef.orig