Fix compilation issue for CI job