Re: #5313: critpath generation fails