unbreak flush_deleted_recgroup.pl