We don't need both with and without options for these; the corresponding option is auto-generated.