fix compilation problem on CI server