Fix build.cmd for certain always-shown errors (like "unable to find registry key"), improve finding of VS2017 tools#3635