Alan,
Don't use "-T tools". "tools" is an already existing directory in the source tree, whereas the "-T" option says where to install tools. It is possible to use the same directory for both purposes, but the results will be confusing (with both sources and outputs mixed in the same directory) and it's too easy to accidentally delete sources while attempting to delete installed tools.
Thanks for your piece of advice. No use. With or without -T, with or without -r, same crash. :(
Vincent