As you note here, file powder is used as a thickener, which is an important thing in a gumbo. If you make your gumbo with okra (which is very common), you technically don't need to use file as a thickener. But, you can add a tablespoon of it for the unique flavor benefit.
Having said that, I...