Delete pgsql3.rmm~