support for DESTDIR, patch sent by Johnny Solbu (Mandriva) - many thanks.