set path=`echo "$PATHS" | sed 's/ /_/g; s/:/ /g'`
@ i = 0
while ( $i < $#path )
@ i ++
set path[$i] = `echo "$path[$i]" |  sed 's/_/ /g'`
end