pagefile.sys is reported as being a directory

[Bruno Haible]

Hi,

Ken Brown noticed this: pagefile.sys and swapfile.sys are being
reported by Cygwin 3.5.3 as being directories.

Cygwin 3.5.3 on Windows 10:

$ ls -ld /proc/cygdrive/c/pagefile.*
drwxr-x--- 17664 Unknown+User Unknown+Group 0 Jan  1  1601 /proc/cygdrive/c/pagefile.sys
$ ls -ld /proc/cygdrive/c/swapfile.*
drwxr-x--- 17664 Unknown+User Unknown+Group 0 Jan  1  1601 /proc/cygdrive/c/swapfile.sys

In Cygwin 2.9.0 and 3.4.6 (also on Windows 10) it was reported
as a regular file:

$ ls -ld /proc/cygdrive/c/pagefile.*
-rw-r----- 1 Unknown+User Unknown+Group 671088640 May  3 01:25 /proc/cygdrive/c/pagefile.sys
$ ls -ld /proc/cygdrive/c/swapfile.*
-rw-r----- 1 Unknown+User Unknown+Group 268435456 May  3 01:25 /proc/cygdrive/c/swapfile.sys

Gnulib is interested in the modification time of this file.

Do you agree that it's a bug?

Do you have a workaround? In Gnulib we wish to have a way to access this file,
that works on all versions of Cygwin.

Bruno