patch for build32.sh