* Fixed str.join and a boxing bug in str.replace