Ok, here is a patch to fix that, and also throw an error if pg_proc.dat has an explicitly defined symbol.
pgsql-hackers by date:
Соглашаюсь с условиями обработки персональных данных