Update INSTALL about a "make check" failure in test_scripts.sh.