new file:   inst-extlinux.sh