update path for jenkins-generated files
by scott