The wegisdr.properties file is the "config" file, sorry for any confusion.
I would start by making the export file a local drive first and run it. This would make sure that everything is working properly. Then after a successful export, I would make the changes to your S3 location.
Here is a screenshot of my local export location:
--- George T.