Fix a bug in `FileManager.getAllFiles()`