Updating the Makefile for make check.