fix debian/install