adjusted makefiles; updated INSTALL