Revert "{TEST}[1/2] Fix build with Jenkins"

This reverts commit 99d42ced1bf4e140de1d3efa7cc7907b05baa5ba.