Fixes a problem with insert_id() in db_pgsql.php