Fix typo in abi_check.sh