I have no idea what normal CEO salaries look like as a percentage of revenue. I'm not even sure if that's the right way to measure it. But it doesn't sound crazy high to me?
And the worse your company is doing, the more important it is to find a good CEO and the harder it will be for you to attract a good one. So you can even make an argument for why CEOs that joined companies that are doing badly might be getting paid more on average.