INSTALL: DESTDIR was used twice