@leight oh, you are right. I thought the transformation (`"\\"` to `DIRECTORY_SEPARATOR`) of the slashes had already happened at this point. Yes, your change is valid.