Make MockFileManager return filenames correctly