Skip to content
Add CORAL to setup.sh.in