Some updates to the INSTALL document.