Delete pgsql20.c~