# actually build a 32-bit version
eval "$(
  declare -f build | \
    sed '
	  s|./configure|./configure --dest-cpu ia32|g
    '
)"