Make should respect DESTDIR