Bug fix in sbin/ext/install.sh