Say bye to builtins.json