#6163 False nullPointer for strtok(NULL, ...). Correct std.cfg