    --with-tmpdir=*) tmpdir=${arg#*=} ;;
