Re: [PATCH 2/2] run.in: Include tools directory on $PATH.