Attempt to fix build on Jenkins (failure not reproducible locally)