ln -s $CORALROOT/src/coral . 
ln -s $CORALROOT/magic/magic .
ln -s $CORALROOT/magic/exist .
ln -s $CORALROOT/interface/translator .
chmod a+x start-server *.CORAL