This was the script used to add missing symbols to the library. Maybe it will be useful again sometime.