fixed an issue where a dot in a directory name would be misinterpreted as a file extension. Relates to ticket #669.
Authored by: raph-z 2022-06-03
Parent: [r1157]
Child: [r1159]
