Re: #4057: Update gitolite build