PR#6358: obey DESTDIR in install targets

Patch for [PR#6358](http://caml.inria.fr/mantis/view.php?id=6358).