GitLab

	LD_SWITCH_SYSTEM, OLDXMENU_OPTIONS): Add X11R5 directories to the
	search paths in these lists; they shouldn't do any harm if they
	don't have X11R5.