fix debian/install
