build/build_wdk.bat: update for the new location on my machine