Reinsert commented-out GNU make check in Makefile