fixed compilation issue on CI