add jenkins (for 1.517)