bashrc: better handling of envactivate