update buildrump.sh (for more fine-grained subr.sh::docheckout)
update comment