do not use xdotool on debian

Proved to be too unstable, investigation needed.