Regenerate after coverity fixes