Tweaks to installed file names and to x11 option, to to reduce conflicts
with games/nethack (and to find app-defaults file).