Credit JPMoresmau
Tweak the acknowledgements
Abstract out GhciExec to be opaque