cat /dept/ecse/petri/XPN/setbash >> ~/.bashrc
cat /dept/ecse/petri/SPNP/setupspnp >> ~/.bashrc
cat /dept/ecse/petri/XPN/setxpn >> ~/.xrc
chmod ugo+x .xrc