vsvars32 now works for 2012. input is 10 or 11 as integers.  vsvars32 is vsdevcmd in 2012