fix bug in public domain strtok_r