xorg-server: fix INSTALL on archs where libglx is not available.