Small changes to compile_external.sh