Fix a little anachronistic code in RecoverFromReexec().