On 02/01/2013 09:37 AM, Stephen Kelly wrote: > I had another look at your patch and noticed that $ENV{DESTDIR} is not > handled. Should it be? No, the decision is about where the files expect themselves to be when they are loaded in use. DESTDIR is only about packaging. -Brad