[Hackage] #717: Expose libexec option in simple build system