Small fix to build_cc3d.sh