add -k to "make check"