DFS: add dfs_file_flush prototype in dfs_file.h