Fix the regex to match all kind of filenames, for interactive debugging in doctests. (issue #9409)