add another missing DESTDIR