The above mentioned file calls xmodmap $HOME/.Xmodmap, but this is not
effective.  Every time I log in, my key mappings are not set up until I
run the command manually.  This would be a very desirable feature if it
actually worked, since right now I have to run the command by hand after
I log in.