region-file option properly set