Temporary fix to zsh key mappings under Linux.