E_HOME="$COMPONENT/${ISABELLE_PLATFORM64:-$ISABELLE_PLATFORM32}"
E_VERSION="1.8"
