modificato:   inst-extlinux.sh