Added install and DESTDIR for Debian packaging