fix makefile's check command for nauty