updated debian/install; included /usr/local/etc/