update INSTALL file to reflect configure script usage