RR: refinements to subversion install script.