xorg.xmodmap: fix build via a Gentoo patch
stumpwm: fix build via using older texinfo