Fix "make check" target