NUNCHAKU_HOME="$COMPONENT/${ISABELLE_PLATFORM64:-$ISABELLE_PLATFORM32}"
NUNCHAKU_VERSION="0.5"
