Update Makefile for 'check'