Deleted opt_aarch64_linux.sh, because this is no more used