Fix messed up porting in pg_proc.h