Update HOW_TO_INSTALL.html