Use mkdir -p in case the Jenkins $HOME directory is already there.

Change-Id: I0a8d2c8866ec0438c1435806b5b7e6fb2d97c2a6