Hmmm, will this make Jenkins' shell happier?