Fix jenkins workspace refs.