abi_check.sh: Update version number for automatic abi check (2.5.0->2.5.1)