Correcting a bug in Windows (was appending "\" instead of "/" because of
File API usage)