Don't duplicate modified builtins.