Change the BZFlag version number from 2.4.3 to 2.5.1 in additional files that need it.
Use "git ls-files" to get the list of files managed by the repo.