declare MULE_HOME in setenv.sh