INSTALL: replaced broken use of DESTDIR instead of prefix