/ ‘debian/install’