Re: stat-time.h vs. pthread-win32

[Paul Eggert]

That workaround looks OK to me.  pthread-win32
seems like it's in pretty bad shape, so hacks like
that appear to be necessary.