Update INSTALL.txt for Dustin's paths.