#3777: fix CI test