update INSTALL file with text provided by Juergen Edner