Win32: use BSD's strtok_r implementation