more jenkins cleanup