Why should use `pushd`?
Is `build_win32.bat` used by other script ?