added link to INSTALL.html