build.bat: Fix 7-Zip detection.