INSTALL: make check instructions