install' to
Remove the extra slash in ${DESTDIR}/${BINDIR}.
Submitted by: Wolfram Schneider <wosch@cs.tu-berlin.de>