A new patch, using exports.txt file instead of building the list of symbols to be exported and merging the 2 files, has beenprovided. This seems much better.
pgsql-hackers by date:
Соглашаюсь с условиями обработки персональных данных