Removed unnecessary require from extend_builtins