adding synergy 9not working correctly), adding tools repo