Update .bashrc_rado_aux