Small update to fix INSTALL and test/Makefile.