bashrc local, emacs tweaks