Fix case-sensitivity issues in Jenkins Pipeline.

Authored by bcooksley on Fri, Feb 1, 7:13 AM.