Make the default filename configurable.