Re-generate `builtins` spec