added debian/install