Work around proxy for janky jenkins