fix jenkins to use 1.519, because 1.518 isnt available