setenv M3_VERSION "3.5.3"
setenv M3_HOME "${STOLFIHOME}/pkg/m3-${M3_VERSION}"
setenv M3_PUB "${M3_HOME}/PUB/${PLATFORM}"
setenv M3_PACKAGES "${M3_HOME}/PUB/pkg"
set path = ( `echo $path | /bin/sed -e 's/m3-[-.0-9]*/m3-'${M3_VERSION}'/g'` )
setenv LD_LIBRARY_PATH "`echo $LD_LIBRARY_PATH | /bin/sed -e 's/m3-[-.0-9]*/m3-'${M3_VERSION}'/g'`"
