VM name passed to Configure.pl can now be mixed-cased