Some fixes to the exports dotfile, as well as zshrc and aliases