Attention: the first definition is used when you have more than one same host label in your .ssh/config file I originally thought the later should be used. I was wrong.