Actually fix compatibility for options.applicative.