[Bug 4655] make install DESTDIR=whatever not working