Manpages of xdotool in Debian wheezy