stat() batch files under Windows.