Fixed file name issues on Jenkins.