bashrc; minc-tools