Fix filename parsing in get_open_files(). BZ 1078724