Hi,

there appears to be a bug in the makefile (tools/Makefile) that installed files/directories in the wrong place when installing to another root directory (DESTDIR env var)

The attached patch should fix it.

greets, -- Steven Van Acker