Record the errno if exec fails

Created by  Graham Christensen  on November 18, 2021
CBU7KGFEC5OECK45W7T3VGU6QKLTZXUZ3JA2QSQDSJMFZSD34QDQC
Change contents