more brute-force attempts to fix jenkins