Change "check" target in Makefile to run all tests