the makefiles do not support $DESTDIR.
Created attachment 6015 [details] [review]
Thanks, applied. The patch didn't apply cleanly for some reason, please check
that it works as expected now.
*** Bug 7330 has been marked as a duplicate of this bug. ***