[squeak-dev] Re: Jenkins update; shell scripting question