commit to try to understand compilation error on CI server