fix jenkins install of plugins