The different messages are to make clear the difference between a hard-selected vm which we do not recognize, and a default vm (which could change at any time).