Working around broken ASF Jenkins