diff -r 864e2d701dd4 -r a171da778817 src/server/plugins/postgresql/init.o Binary file src/server/plugins/postgresql/init.o has changed