Fixes for wcstok.

*** 277,287 ****
  extern wchar_t *wcsrchr(const wchar_t *, wchar_t);
  #endif /* __cplusplus >= 199711L */
  
  #if (!defined(_MSE_INT_H))
  #if defined(_XPG4) && !defined(_XPG5) /* XPG4 or XPG4v2 */
! extern wchar_t *wcstok(wchar_t *, const wchar_t *);
  extern size_t wcsftime(wchar_t *, size_t, const char *, const struct tm *);
  #else   /* XPG4 or XPG4v2 */
  #ifdef __PRAGMA_REDEFINE_EXTNAME
  #pragma redefine_extname wcstok __wcstok_xpg5
  #pragma redefine_extname wcsftime       __wcsftime_xpg5
--- 277,287 ----
  extern wchar_t *wcsrchr(const wchar_t *, wchar_t);
  #endif /* __cplusplus >= 199711L */
  
  #if (!defined(_MSE_INT_H))
  #if defined(_XPG4) && !defined(_XPG5) /* XPG4 or XPG4v2 */
! extern wchar_t *wcstok(wchar_t *_RESTRICT_KYWD, const wchar_t *_RESTRICT_KYWD);
  extern size_t wcsftime(wchar_t *, size_t, const char *, const struct tm *);
  #else   /* XPG4 or XPG4v2 */
  #ifdef __PRAGMA_REDEFINE_EXTNAME
  #pragma redefine_extname wcstok __wcstok_xpg5
  #pragma redefine_extname wcsftime       __wcsftime_xpg5