John,
I think irexec is part of the lirc package, I installed it a year ago before it was in dietpi-software. I posted then how it installed it (see this post)
https://dietpi.com/forum/t/installing-lirc-on-odroid-xu4-cloudshell/515/1
I hope you can solve it.
Patrick