These files are rarely/historically updated so this shouldn't be an issue often, that said in future iteration we should be able to have our build tools build from WordPress' source files rather than including these in bbPress.