make install DESTDIR

[Martin v. Loewis]

> Thanks Martin. That seems to work. I will file a bug report. Also, can
> you describe what the problem was?

If you have / as the prefix, you get two leading slashes, e.g. for
//lib/python2.x. Any other prefix would have given you only a single
slash: e.g. if it had been /usr, then you end up with /usr/lib/python2.x.

Now, the code strips the first character to make it a relative path name
(so that join can be used), which fails to work correctly if there are
two leading slashes.

HTH,
Martin