bugfix: wrong use of DESTDIR