Change file name for Jenkins configuration