wiebel.org/ linux/ mouse switching