We no longer need a PANTH_DIST in setenv.sh