HDMI CEC

Hello,
Anytime I change inputs on my Denon Receiver to something else and then go back to Kodi cec doesnt work anymore.
In this Thread http://forum.kodi.tv/showthread.php?tid=…pid2501519 portisch has compiled a working windows version of cec 4.0.1 for his 32-Bit System. The dll file doesnt work on Windows 10 64-Bit. Has someone maybe the ability to compile a working 64-Bit dll?

Thanks