Fix #2691 (don’t glitch on failed /configure)