If add_builtins.py changes, Modules/Setup should be regenerated. Also, Modules/Setup should refer to the extras directory.