Get rid of unused builtin_str