More accurate checking of ABI dump names