Work around a glibc bug in strtok_r.