DBMExec
The filename for the database manager executable.
Possible values:
DBM.EXE
Default value: