setenv bmroot /home/matte/joeb/GB/Devbm/V1/scripts/Linux_elf
setenv proot /usr/local/lang/psl
setenv MACHINE Linux_elf
source /usr/local/lang/psl/dist/psl-names
