Fix jenkins plugin installation with proxy