Fix the "make check" target.