workaround for old macOS versions, after change of Let's Encrypt root certificate --- see also https://letsencrypt.org/docs/dst-root-ca-x3-expiration-september-2021 --- Java/Scala Isabelle_System.download() works, but curl doens't;
#!/usr/bin/env bash
#
# Author: Makarius
#
# DESCRIPTION: invoke Haskell Tool Stack within the Isabelle environment
isabelle_stack "$@"