differentiated bashrc_igor for different hosts