I can post the binaries although I’m unsure how useful they will be for your specific platform. The above instructions are fairly useful and easy (at least on a Mac).
I am working on a ‘finished’ Android player so I can just flash the player and it will have Xibo and cec-client. Now to find a CEC-compatible TV…