Delete pgsql.c~