fix 'make install DESTDIR=...'