Ocamldebug 4.04.2 "source" command fails to find source file in Windows

Learning
1

When I run ocamldebug 4.04.2 (on Windows 10 with cygwin), the “source” command fails to find the file in two cases. I have identical files in “db” and “dev/db”:

  1. “source db” fails to find the file “db” in the initial directory
  2. “source dev/db” fails to find the file

However, “cd dev” followed by “source db” does find the file.

Any suggestions? File a bug report?

$ pwd
/cygdrive/c/Users/Jim.DESKTOP-MMPNVGH/Documents/coqSource/coq
$ ls -l db dev/db
-rwx------+ 1 Jim None 2710 Dec 17 11:56 db
-rwx------+ 1 Jim None 2710 Dec 17 11:56 dev/db

$ dev/ocamldebug-coq.run bin/coqtop.byte.exe
        OCaml Debugger version 4.04.2

(ocd) pwd
C:\Users\Jim.DESKTOP-MMPNVGH\Documents\coqSource\coq
(ocd) source dev/db
Source file not found.
(ocd) source "dev/db"
Source file not found.
(ocd) source "dev\db"
Source file not found.
(ocd) source "dev\\db"
Source file not found.
(ocd) cd dev
(ocd) pwd
C:\Users\Jim.DESKTOP-MMPNVGH\Documents\coqSource\coq\dev
(ocd) source db
Cannot find file gramlib.cma
<REMOVED TEXT>
(ocd) cd ..
(ocd) source db
Source file not found.
2

This source command takes a path:

(ocd) pwd
C:\Users\Jim.DESKTOP-MMPNVGH\Documents\coqSource\coq\dev
(ocd) source ../db
Cannot find file gramlib.cma

But it doesn’t help if I start ocamldebug from the parent directory (coqSource):

$ pwd
/cygdrive/c/Users/Jim.DESKTOP-MMPNVGH/Documents/coqSource
$ ocamldebug bin/coqtop.byte.exe
        OCaml Debugger version 4.04.2

(ocd) cd coq
(ocd) source db
Source file not found.
(ocd) source dev/db
Source file not found.
(ocd) cd dev
(ocd) source db
Cannot find file gramlib.cma
3

I figured out how to get around this problem.