SMBC_HOME="$COMPONENT/${ISABELLE_PLATFORM64:-$ISABELLE_PLATFORM32}"
SMBC_VERSION="0.4.1"
