Change in jenkins[master]: Adapt mock_runner.sh to use mirrors