abi-check.sh: fix broken download URL