bashrc: load local options after all global ones