Fix one more compilation error for *make check*.