I am assuming that the setenv command has executed correctly because I get the output "Targeting Windows XP X64 RETAIL" but there's a catch: The path is not getting updated. I don't know if it is enough to update it manually but this didn't seem to help.