Ensure the latest symbol files

[sayakpaul]

Same question for the manylinux and Python ABI3 files. We should probably have a CI job to check for this and maybe make a PR automatically one one of the files is outdated.

Originally posted by @danieldk in #591