Jenkins build file fix