update buildrump.sh (for improved subr.sh::docheckout)