Allow make install destination to be overridden Instead of hard coding /usr/local/bin as the installation location for make install, allow it to be overridden with DESTDIR. This is based on a patch submitted by Tormod Volden <debian.tormod@gmail.com> with minor modifications - notably that there is no need to silence the echoing of the commands for make install.