Update compilation.sh