I was using an old version of Synergy, until one day it stopped working. Since I only needed it for Windows clients, I found Mouse without Borders: https://www.microsoft.com/en-us/download/details.aspx?id=354... . It has the benefit that all input devices can access all devices (Synergy has a "master-slave" structure).