rmdir merge nit

A missing change from the rmdir merge.
Note I'll wait this trivial fix (which matters only on WIN32) to be merged before pulling the generation (vs semaphore) counter request and further stuff.