Avoid problem with cmake not finding compiler

Ref: https://gitlab.kitware.com/cmake/cmake/-/issues/21378

If cmake is run a 2nd time, which it is in the context of a github action based on a cache,
then it might not correctly set the cmake compiler version variables.

Use the workaround detailed in the above reference issue.