Fix boot.sh for the case where the extensions repository is not available.