Thousands of Jenkins servers will let anonymous users become admins